30-01-19, 21:26
(Modification du message : 02-02-19, 21:32 par nicoauffray.)
(30-01-19, 19:58)pascal a écrit : 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
Cette ligne ne change rien. Je me suis bien assuré d'avoir la dernière révision. Et je dois toujours redémarrer dt pour que le fond de la chambre noire (et de la table lumineuse) se modifie.
J'ai beau regardé attentivement l'interface et mes modifs faites, je ne vois vraiment que ça qui ne se modifie qu'après redémarrage. Il y a sûrement un truc à creuser du coup du côté du code GTK qui gère cette partie (fond table lumineuse et chambre noire).