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.
Si vous utilisez "gedit", allez aux menus
Editer => Préférences
Sélectionnez Polices et couleurs et augmentez la taille de la police.
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.
Dans le menu déroulant, cliquez sur Preferences
. Ensuite, sous Font & Colors
, vous pouvez modifier la taille de la police.