Taille de police exagérée

[Nerva]

Hello.

L'affichage des menus (les contextuels aussi) de l'éditeur de texte Kate et VLC est buggé : la taille des textes est bien trop grande, comme le montre la copie d'écran.



C'est très désagréable, alors si vous avez un avis sur la question, merci.

[cyrille]

Cela doit se règler dans les préférences du logiciel , non ?

[arghlub]

Salut,

Kate ? Tu es avec l'environnement KDE ???
Si oui, avec LM17.3, 18.3 ou as-tu installé KDE en plus d'un autre environnement ???
Bref, donne nous plus d'infos (une p'tite signature utile serait un plus -pas de signature, pas de chocolat)

[Nerva]

Kate, l'éditeur de texte et pareil pour VLC, et je suppose également d'autres logiciels que je pourrais être amené à installer.

Rien n'est réglable dans les paramètres. C'est la première fois que je vois ça, tous OS et environnement confondus.

Mint 19.1 environnement Cinnamon.

[alain]

Bonjour Nerva.

Dans ta capture de kate, je ne vois pas ou est le problème...
Chez moi ça ressemble beaucoup a ça (sur debian 9.6 KDE).
J'ai regardé VLC sur ma LM19.1 cinnamon, aucun soucis, la police des menus a une taille habituelle.
Je n'ai pas installé kate sur ma LM19.1 cinnamon, car ça m'installe la moitié de KDE avec.

Mais! Par chance (ou pas...) j'essayai justement un écran et ça m'a mis la puce à l’oreille.
Peux tu nous donner le retour de :

inxi -SG

Pour voir un truc?
Et pendant que tu y est fais ta signature comme demandé par Arghlub (sinon, plus de chocolat )

[Nerva]

@alain

Voilà :

Code : Tout sélectionner

System:
  Host: nerva Kernel: 4.15.0-20-generic x86_64 bits: 64 
  Desktop: Cinnamon 4.0.9 Distro: Linux Mint 19.1 Tessa 
Graphics:
  Device-1: NVIDIA GT216 [GeForce 315] driver: nouveau v: kernel 
  Display: x11 server: X.Org 1.19.6 driver: nouveau 
  unloaded: fbdev,modesetting,vesa resolution: 1920x1080~60Hz 
  OpenGL: renderer: N/A v: N/A 

Je n'appelle pas ça une taille de police de menus normale. Suffit de comparer avec d'autres logiciels. D'ailleurs, on trouve des copies d'écran sur le site officiel (ou dans la page d'installation du paquet) où la taille des polices de l'interface est normale : https://kate-editor.org/about-kate

[cyrille]

Kate, l'éditeur de texte et pareil pour VLC, et je suppose également d'autres logiciels que je pourrais être amené à installer.

Rien n'est réglable dans les paramètres. C'est la première fois que je vois ça, tous OS et environnement confondus.

Mint 19.1 environnement Cinnamon.

Déjà il faudrait savoir si c'est tout ce que tu installes ou non.
Pour Kate ; c'est paramétrable :


Si c'est général. Je n'ai pas de cinnamon, mais il me semble (d'après mes souvenirs) que la commande pour modifier la size de ce X devait être un trcu du genre

Code : Tout sélectionner

gsettings set org.gnome.desktop.interface font-name 'Sans 10'

Maais cinnamon a sans un centre de contrôle permettant de régler cela de façon graphique, non ?

Sinon si c'est global et que tu veux reellement des paramètres perso, il est possible d'écrire son propre CSS pour cinnamon

Mais comme Alain, d'après ta capture d'écran, je ne trouve pas ça hyper grand. Ensuite je zappe peut être qq chose

[Nerva]

@cyrille

La taille de la police spécifiée dans ta copie d'écran est celle qui s'affiche dans les fichiers, pas dans le GUI. Pour ce qui est d'un CSS pour un programme, ça ne je sais pas faire mais je ne demande pas mieux d'apprendre comment on procède.

Mais, pour en avoir le coeur net, j'ai téléchargé la version appimage sur le site de l'éditeur, dont voici une copie d'écran :



La taille de police est normale...

[cyrille]

Je ne suis pas sûr de tout bien comprendre, mais pas grave
Si tu veux toucher au css, je te conseille ces qq liens ,
http://caverdan.com/Mint18Themes/chapte ... namon.html
https://forums.linuxmint.com/viewtopic. ... 8&t=156035

Sans doute des choses à bidouiller et qq autres recherches à faire mais ça doit passer

++

[Nerva]

Je ne suis pas sûr de tout bien comprendre, mais pas grave

A la base, j'ai installé Kate normalement par le gestionnaire de logiciels. J'ai trouvé étrange la taille des polices de l'interface (1ère copie d'écran), d'où ce sujet (la feuille de style que j'ai ouverte au hasard parmi mes documents texte est sans rapport aucun avec le problème, c'est juste pour meubler).

J'ai téléchargé la version du logiciel appimage sur le site de l'éditeur et l'ai "installé", pour voir si il y avait une différence. Et une fois lancé (2ème copie d'écran, j'ai également ouvert la même feuille de style), avec cette version, la taille des polices de l'interface est normale.

Il y a donc un problème avec le paquet du dépôt.

En ce qui concerne les liens que tu m'as donnés pour modifier les CSS, il s'agit de réglages généraux Cinnamon. Je pensais que tu parlais de modifications CSS au niveau d'un programme spécifique.