1 votes

Problèmes de taille de l'interface graphique d'Ubuntu sur Windows avec les éditeurs de texte

J'ai installé Ubuntu 20.04 LTS sur ma machine Windows 10 en utilisant WSL2. J'ai également installé VcXsrv pour utiliser XLaunch afin de permettre aux environnements GUI de s'ouvrir. J'ai mis à jour les paramètres DPI élevés trouvés ici : Polices floues lors de l'utilisation de la mise à l'échelle par défaut de Windows avec les applications WSL GUI (HiDPI) qui a mis à jour les polices pour qu'elles ne soient pas floues, ainsi que la modification de la taille de certains textes à l'aide de la fonction 2 GDK_ commandes.

Après cela, j'ai encore eu des problèmes de dimensionnement de l'interface graphique. En particulier, la souris et certains éléments de l'interface graphique étaient très petit. J'ai pu réparer le petit curseur de la souris en utilisant ceci : Comment définir la taille du pointeur de la souris X dans le sous-système Windows pour Linux ?

Un problème persiste : certains éléments de l'interface utilisateur sont encore très petits. Voici des exemples de ce que je vois.

Texte sublime

  1. Tabulation et étiquette de tabulation très petites, surtout par rapport à la ligne Fichier/Edit/Sélection

EX1

  1. Petit numéro de ligne.

EX2

  1. Taille minuscule de l'onglet/zone linguistique.

EX3

GEDIT

  1. Petit bouton x.

EX4

Spyder

  1. Petites icônes de fichiers.

EX5

L'aspect souhaité serait, par exemple, que le texte de l'onglet corresponde au reste de la taille du système (et très probablement que la taille de l'onglet soit augmentée pour tenir compte de cela) dans Sublime Text.

Merci beaucoup si quelqu'un peut m'aider ! J'ai essayé de chercher des solutions sur Stack et ailleurs, mais je n'ai rien trouvé. Si ce problème a déjà été résolu, merci de me le faire savoir et je fermerai cette question.

Je me ferai un plaisir de clarifier tous les points soulevés ici.

1voto

Satoshi Nakamoto Points 235

Ce n'est pas ma réponse fourni par @kas

Vous pouvez trouver votre DPI à l'aide de cette commande :

xrdb query | grep dpi

Vous pouvez définir votre DPI en créant le fichier ~/.Xresources avec ce contenu :

Xft.dpi: 96

Remplacez 96 par le DPI souhaité.

Si vous avez GnomeTweaks, ce sera facile ou vous devrez trouver vos propres utilitaires pour l'environnement de bureau.

Fuente: https://askubuntu.com/questions/197828/how-to-find-and-change-the-screen-dpi

Consultez également la réponse de @whtyger pour plus d'informations.

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X