Index: trunk/src_plugins/lib_gtk_common/dlg_topwin.c
===================================================================
--- trunk/src_plugins/lib_gtk_common/dlg_topwin.c	(revision 27881)
+++ trunk/src_plugins/lib_gtk_common/dlg_topwin.c	(revision 27882)
@@ -239,8 +239,13 @@
 	do_fix_topbar_theming(tw);
 
 	settings = gtk_widget_get_settings(tw->top_bar_background);
+
+	/* disabled for now: it crashes on some user but there is no easy way
+	   to reproduce it; risking a crash is not worth the feature of auto-updating
+	   the toolbar without restart.
 	g_signal_connect(settings, "notify::gtk-theme-name", G_CALLBACK(do_fix_topbar_theming), NULL);
 	g_signal_connect(settings, "notify::gtk-font-name", G_CALLBACK(do_fix_topbar_theming), NULL);
+	*/
 }
 
 static void fullscreen_cb(GtkButton *btn, void *data)