30-01-19, 19:58
Ok, voilà le diff alors, très simple. Juste une ligne à ajouter dans preferences.c:
Code :
diff --git a/src/gui/preferences.c b/src/gui/preferences.c
index 8127202a4..2786c15bd 100644
--- a/src/gui/preferences.c
+++ b/src/gui/preferences.c
@@ -178,6 +178,7 @@ static void theme_callback(GtkWidget *widget, gpointer user_data)
gchar *i = g_strrstr(theme, ".");
if(i) *i = '\0';
dt_gui_load_theme(theme);
+ dt_control_queue_redraw();
}
///////////// gui language selection