web-dev-qa-db-fra.com

La taille de la police change après l'exécution de xrandr --off

J'ai un ordinateur portable avec un moniteur externe et permute entre les deux écrans en utilisant xrandr --auto et xrandr --off. Parfois lorsque je change d'écran, la taille de la police dans les programmes est soudainement très grande. Cela n'affecte pas les programmes lancés auparavant. J'utilise Lubuntu 16.04.

J'ai été capable de reproduire l'erreur en utilisant cette chaîne de commandes plusieurs fois:

xrandr --output eDP1 --off && sleep 1 && xrandr --output eDP1 --auto

Le moniteur externe n’a rien à voir avec cela. Il suffit de désactiver l’écran de l’ordinateur portable (eDP1) et de le réactiver suffit à résoudre ces problèmes de taille de police.

Edit : Ce qui a vraiment été changé par xrandr --off est le DPI de l'écran , vois ici:

$ xdpyinfo | grep dots
  resolution:    96x96 dots per inch                                                                                                                                              
$ xrandr --output eDP1 --off && sleep 1 && xrandr --output eDP1 --auto 
$ xdpyinfo | grep dots
  resolution:    204x205 dots per inch

Exemples

Pour l'échelle: Les boutons sont de taille normale. Fenêtre VLC normale en arrière-plan, en a changé une au premier plan.

vlc

GnuCash

Ce que j'ai essayé jusqu'à présent

J'ai essayé de m'amuser avec les paramètres de police de Lubuntu (inchangé) et je peux réinitialiser les polices à la normale (ce qui devrait être 11) en choisissant la taille de police 6, mais les polices des applications déjà ouvertes (panneau, etc.) sont ensuite modifiées vraiment taille 6. La seule façon de régler les choses à la normale est de vous déconnecter et de vous reconnecter ou systemctl restart lightdm.service.

J'ai découvert une solution de contournement possible : Au moins jusqu'à ce jour, le problème ne soit pas revenu car je cherche à avoir à moins un moniteur activé à tout moment. Donc, pour changer de moniteur eDP1 à DP2 je fais

xrandr --output DP2 --auto && xrandr --output eDP1 --off

Cela fonctionne pour le moment, mais ne résout bien sûr pas le problème.

Comment puis-je réinitialiser la taille de la police lorsque cela se produit?

Sorties de commande du terminal

  • xrandr , moniteur externe (DP2) connecté et activé, écran d'ordinateur portable (eDP1) désactivé
8
dessert

Vous pouvez modifier la taille des polices pour les futures fenêtres ouvertes en ouvrant le terminal et en utilisant:

xrandr --dpi 96

Pour une résolution plus élevée (1920x1080), essayez avec:

xrandr --dpi 144

J'utilise ceci sur des programmes qui n'implémentent pas la mise à l'échelle HiDPI. Bien que cela n'explique pas votre problème, il peut le résoudre. Ou peut-être pas ... YMMV.

2
WinEunuuchs2Unix