Note de ce sujet :
  • Moyenne : 0 (0 vote(s))
  • 1
  • 2
  • 3
  • 4
  • 5
Rendre darktable moins moche
#45
(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).
Répondre


Messages dans ce sujet
RE: Rendre darktable moins moche - par jpg54 - 27-01-19, 09:08
RE: Rendre darktable moins moche - par valmy - 27-01-19, 15:01
RE: Rendre darktable moins moche - par jpg54 - 27-01-19, 11:55
RE: Rendre darktable moins moche - par Frna9 - 27-01-19, 16:57
RE: Rendre darktable moins moche - par Frna9 - 27-01-19, 19:25
RE: Rendre darktable moins moche - par DKT - 29-01-19, 15:19
RE: Rendre darktable moins moche - par DKT - 30-01-19, 08:56
RE: Rendre darktable moins moche - par DKT - 30-01-19, 10:21
RE: Rendre darktable moins moche - par jpg54 - 30-01-19, 18:06
RE: Rendre darktable moins moche - par jpg54 - 30-01-19, 18:29
RE: Rendre darktable moins moche - par jpg54 - 30-01-19, 18:48
RE: Rendre darktable moins moche - par jpg54 - 30-01-19, 19:03
RE: Rendre darktable moins moche - par nicoauffray - 30-01-19, 21:26
RE: Rendre darktable moins moche - par Roger - 31-01-19, 08:08
RE: Rendre darktable moins moche - par Roger - 31-01-19, 19:08
RE: Rendre darktable moins moche - par Roger - 10-02-19, 09:13
RE: Rendre darktable moins moche - par jpg54 - 14-02-19, 11:18
RE: Rendre darktable moins moche - par jpg54 - 14-02-19, 11:35
RE: Rendre darktable moins moche - par JMM40 - 14-02-19, 17:06
RE: Rendre darktable moins moche - par jpg54 - 17-02-19, 10:37
RE: Rendre darktable moins moche - par jpg54 - 25-03-19, 07:34
Rendre darktable moins moche - par jpverrue - 25-03-19, 07:37
RE: Rendre darktable moins moche - par jpg54 - 13-04-19, 19:02
RE: Rendre darktable moins moche - par jpg54 - 14-04-19, 07:44
RE: Rendre darktable moins moche - par jpg54 - 14-04-19, 08:49
RE: Rendre darktable moins moche - par jpg54 - 14-04-19, 13:46
RE: Rendre darktable moins moche - par jpg54 - 02-05-19, 10:37
RE: Rendre darktable moins moche - par GegeL - 04-09-19, 23:04

Atteindre :


Utilisateur(s) parcourant ce sujet : 1 visiteur(s)