web-dev-qa-db-fra.com

Augmenter la taille de la police dans l'éditeur de texte d'ubuntu

Je suis nouveau sur ubuntu10.10, la taille de la police de l'éditeur de texte est très petite. J'ai cherché dans la barre de menus, aucune option dans l'éditeur de texte pour augmenter la taille de la police. Ou sinon un shortcode pour augmenter le zoom de l'écran comme (ctrl ++ dans le navigateur).

Toute aide serait grandement appréciée.

1
Vignesh Pichamani

Si vous utilisez "gedit", allez aux menus

Editer => Préférences

Sélectionnez Polices et couleurs et augmentez la taille de la police. enter image description here

2
Danial Jose

Je n'utilise pas gedit. Je suggérerai plutôt un moyen d'augmenter la taille du texte dans Notepad, comme indiqué dans la question initiale. Le problème avec Notepad est que contrairement à gedit il n’a pas de menu Edit. Donc, pour accéder aux préférences (dans Ubuntu 18.04), utilisez la liste déroulante située dans le coin supérieur gauche de l'écran.

Dropdown for Text Editor

Dans le menu déroulant, cliquez sur Preferences. Ensuite, sous Font & Colors, vous pouvez modifier la taille de la police.

0
Sunit Gautam