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
Pour l'échelle: Les boutons sont de taille normale. Fenêtre VLC normale en arrière-plan, en a changé une au premier plan.
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?
xrandr
, moniteur externe (DP2) connecté et activé, écran d'ordinateur portable (eDP1) désactivé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.