Passer au contenu

Jouez avec les caractères de l’éditeur de texte Gedit

Dans Ubuntu, un éditeur de texte est intégré : Gedit (l’équivalent de WordPad dans Windows). Si la police par défaut ne vous convient pas, vous pouvez…

Dans Ubuntu, un éditeur de texte est intégré : Gedit (l’équivalent de WordPad dans Windows). Si la police par défaut ne vous convient pas, vous pouvez en définir une autre.1 Ouvrez l’éditeur de texte en cliquant, dans le menu Applications, sur l’option Accessoires, puis sur Editeur de texte :2 Pour définir une nouvelle police, cliquez dans le menu Edition sur Préférences :3 Cliquez sur l’onglet Police et couleurs de la nouvelle fenêtre. Dans la partie Police, décochez la case Utiliser la police système non proportionnelle (Monospace) : le bouton de la zone Police de l’éditeur devient accessible. Cliquez dessus.4 Utilisez la liste Famille pour définir la police qui vous intéresse. La liste Style affiche les styles proposés pour la famille sélectionnée.Remarque : pour vous aider dans votre choix, la zone Aperçu affiche un texte avec les caractéristiques que vous avez choisies :Confirmez vos choix en cliquant sur Valider.Le changement s’applique sur tout le texte de l’éditeur.

🔴 Pour ne manquer aucune actualité de 01net, suivez-nous sur Google Actualités et WhatsApp.


La rédaction