06-01-20, 18:12
(Modification du message : 12-01-20, 21:07 par nicoauffray.)
(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.