29-12-19, 19:30
(29-12-19, 09:56)Jean-Luc a écrit : Merci Nicoaufray pour ton implication dans la résolution de mon problème.
Je viens de désinstaller darktable et de supprimer le dossier Darktable contenu dans .config. Après réinstallation, même punition.
Je suis sous ubuntu 19.10 avec Gnome comme environnement. Voila ce que m'indique Gnome ajustement :
thème d'interface Yaru.
Au niveau des polices :
texte d'interface : Ubuntu regular 11
Texte de document : Sans Regular 11
Texte à chasse fixe : Ubuntu Mono Regular 13
Ancien titres de fenêtres : Ubuntu Bold 11
Optimisation complète
Anticrénelage : Sous-pixel
Facteur de mise à l'échelle : 1,00
Je vais potasser pour utiliser GTK Inspector Tool
Hormis le thème, j'ai exactement les mêmes paramètres de police, donc ça ne vient pas de là non plus (je pensais surtout au facteur de mise à l'échelle qui est bon de ton côté). Bref, là je sèche (sauf à ce que tu arrives à tester Gtk Inspector Tool et me sortir quelques paramètres CSS pris en compte de certaines parties de l'interface.