Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 10-11-2007 11:21:12

Oncle Tom
Membre
Lieu : Bordeaux
Inscription : 02-11-2007
Site Web

[RESOLU] Gnome : police de caractères énorme

Bonjour,

suite à l'installation des drivers nvidia-glx sur une debian sid, la police de caractères de Gnome et des applis a considérablement augmenté. Je précise que j'étais en 1600x1050 avec les drivers "nv" juste avant et ça allait sans soucis.
Depuis le reboot issu de l'install du driver glx, la police est énorme. J'ai pour l'instant forcé la police à 7 au lieu de 10 dans les préférences d'affichage mais bon, est-ce qu'on peut régler le problème à la source ?

A noter que j'ai tenté dans d'autres résolutions au cas où mais ça n'a pas l'air d'influencer.

Dernière modification par Oncle Tom (11-11-2007 20:31:01)

Hors ligne

#2 11-11-2007 19:00:18

Oncle Tom
Membre
Lieu : Bordeaux
Inscription : 02-11-2007
Site Web

Re : [RESOLU] Gnome : police de caractères énorme

Après une réinstall j'ai le même soucis. Je remarque que la police grossit abusivement lorsque je passe du driver nv à nvidia. Quand je rebascule en "nv" la police est de nouveau normale.

Hors ligne

#3 11-11-2007 20:30:43

Oncle Tom
Membre
Lieu : Bordeaux
Inscription : 02-11-2007
Site Web

Re : [RESOLU] Gnome : police de caractères énorme

OK résolu. Le driver "nvidia" (et pas le "nv") modifie la taille de la police en fonction de la résolution.

Comme vu ici, il faut ajouter 2 options dans la section "Device", en-dessous de Driver "nvidia" :

Option "UseEdidDpi" "FALSE"
Option "DPI" "96x96" #Taille par défaut en 1024x768 qu'on veut conserver dans les résolutions plus élevées

Hors ligne

#4 11-11-2007 22:24:23

palmito
Administrateur
Lieu : Dans la boite de gâteau!
Distrib. : bah....
Noyau : heu...
(G)UI : gné?
Inscription : 28-05-2007

Re : [RESOLU] Gnome : police de caractères énorme

Merci pour le retour Oncle Tom wink

@+

Hors ligne

Pied de page des forums