J'ai trouvé une piste en googlant "
linux nvidia icons too big" :
https://nvidia.custhelp.com/app/answers/detail/a_id/192/~/linux---fonts-are-incorrectly-sized-after-installing-the-nvidia-driver.
Et effectivement
[~]:$ xdpyinfo | grep dimensions
dimensions: 1920x1080 pixels (508x286 millimeters)
Alors que, double-décimètre à l'appui, mon moniteur fait 382x215 mm
Mais la solution de mettre en place un .conf dans
/etc/X11/xorg.conf.d/ et contenant
Section "Monitor"
Identifier "<default monitor>"
DisplaySize 382 215
EndSection
semble sans effet. N'étant pas certain de l'identifiant de mon moniteur, après recherche je suis tombé sur la commande "xrandr -q"
Et là, je me retrouve comme une poule devant un couteau :
[~]:$ xrandr -q
Screen 0: minimum 8 x 8, current 1920 x 1080, maximum 32767 x 32767
DP-0 disconnected (normal left inverted right x axis y axis)
DP-1 disconnected (normal left inverted right x axis y axis)
DP-2 disconnected (normal left inverted right x axis y axis)
DP-3 disconnected (normal left inverted right x axis y axis)
HDMI-0 disconnected (normal left inverted right x axis y axis)
DP-4 connected primary 1920x1080+0+0 (normal left inverted right x axis y axis) 382mm x 215mm
1920x1080 60.02*+
donc xrandr détecte correctement la taille physique de mon moniteur, mais ça n'est pas pris en compte. J'ai eu beau changer "<default monitor>" par "DP-4" dans le .conf, ça n'a rien changé.
[sub][edit][/sub]
et idem si j'y rajoute
option "UseEdiDpi" "FALSE"
option "DPI" "127 x 127"
ou
option "UseEDID" "FALSE"
option "DPI" "127 x 127"
[sub][/edit][/sub]
Quelqu'un a-t-il une piste pour pouvoir "forcer" cette prise en compte ?