28-12-19, 21:06
(Modification du message : 28-12-19, 21:16 par nicoauffray.)
(28-12-19, 20:29)Jean-Luc a écrit : J'ai le même problème avec le thème Darktable.Tu utilises comme quoi comme paramètres d'affichage du texte sur ton environnement graphique ? Et lequel ?
J'ai installé 14 variations de Roboto par font Manager (dont Roboto regular, condensed, light ...)
J'avais vidé le répertoire .conf/dartable avant l'installation de la 3.0.0
Je viens de déplacer le fichier Darktablerec puis relancer Darktable : rien de changer sur la taille des caractères.
J'avais installé Darktable en suivant ce lien : http://ubuntuhandbook.org/index.php/2019...SsdMWsDx8k peut-être que cela vient de là ?
Sinon, sais-tu activer et utiliser Gtk Inspector Tool pour voir ton affichage ? Si l'anglais ne t'effraie pas : https://blog.gtk.org/2017/04/05/the-gtk-inspector/
Cet outil permet de vérifier les paramètres appliquées (via un menu "noeud CSS" en pointant sur un élément de l'interface.
Edit: pas fait gaffe au dépôt que tu avais utilisé. Peut-être, difficile à dire. Je vais y jeter un oeil.
@Jean-Luc : Testé avec darktable 3.0 du ppa que tu as cité, j'ai l'interface comme elle doit être, pas de texte gras/trop gros comme tu l'as. Ca exclut ce paquet comme origine possible. Donc reste les paramètres de ton système.
Ou une autre option, désinstaller darktable, complètement, t'assurer que tu n'as pas de fichier résiduel (d'installation) via un apt purge darktable. Déplacer ton dossier config utilisateur afin d'avoir l'assurance d'un darktable vierge, comme neuf. En bref, ce que tu as déjà fait, AVEC la désinstallation propre/complète de darktable. Et tout remettre. Lance darktable, dès qu'il est installé (avant de reprendre ton dossier de config pour voir l'état).