13-01-20, 23:09
(06-01-20, 18:12)nicoauffray a écrit :(06-01-20, 17:53)poulouseaweed a écrit : bonjour,
j'ai le même problème de police trop grande sous Ubuntu 18.04LTS. J'ai effectué la manipulation (remplacer screen_dpi_overwrite=-1.0, par 72) et chez moi aucun changement, la police est toujours trop grande.
Mon portable est un ASUS K55V
Euh, quelle version de darktable ? Qu'entends-tu par trop grande ? Une capture d'écran peut aider... Et selon la version, quel thème utilisé ? Et si darktable 3.0, quel source : compilation perso ? dépôt PPA ? si dépôt, lequel ?
Normalement, sur Ubuntu, ce paramètre doit rester à -1.0, sauf si tu as utilisé le PPA ubuntuhandbook qui semble poser problème (PPA à éviter, la compilation faite semble mauvaise ; trop de problèmes divers variés non liés à darktable mais au paquet).
L'interface et les thèmes 3.0 ont été fait par Aurélien et moi-même. On est tous les 2 sous Linux et je travaille moi sous Ubuntu 19.10. Donc normalement, une bonne version de darktable 3.0 ne doit pas avoir de problème de ce type par défaut.
(13-01-20, 21:01)nicoauffray a écrit :(13-01-20, 09:20)poulouseaweed a écrit : j'ai modifié le fichier( screen_dpi_overwrite=-1.0, par 72) avec Darktable fermé.
La résolution d'écran que j'utilise est la plus grande.
J'ai modifié la taille de la police par défaut d' Ubuntu de Regular 11 vers 9 ,alors c'est parfait pour darktable, par contre pour
mes autres applications ça devient trop petit(Thunderbird, The Gimp)
libgtk-3-0:
Installed: 3.22.30-1ubuntu4
Candidate: 3.22.30-1ubuntu4
Version table:
*** 3.22.30-1ubuntu4 500
500 http://be.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages
100 /var/lib/dpkg/status
3.22.30-1ubuntu1 500
500 http://be.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
Désolé mais là je ne vois pas (changer la taille de la police ne va pas, pour la raison que tu décris toi-même). Bref, essaie peut-être de baisser le paramètre 72. Dans l'absolu, tu ne devrais pas avoir ce problème et vous êtes très peu à faire remonter ce problème. Franchement, il doit y avoir autre chose que je comprends pas ici.
La version Gtk+ recommandé au minimum est la version 3.22, que tu as. A moins qu'il y ait un problème mineur possible sur cette version qui poserait ce problème (j'ai une version supérieure pour ma part), je ne vois rien d'autre qui puisse en être la cause comme ça.
j'ai modifié le paramètre dpi dans le fichier et ça n'a aucune incidence, ça reste pareil