En tant qu'utilisateur d'Emacs, la taille de police par défaut sur le tampon actuel ou les tampons globaux peut ne pas convenir à votre cas. Vous aurez peut-être l'impression que la taille actuelle est trop grande ou trop petite pour une visibilité claire. Lorsque vous travaillez avec des textes, savoir comment ajuster la taille de la police vous évite de vous fatiguer les yeux en vous donnant le pouvoir de modifier la taille du texte pour une meilleure visibilité. Il existe différentes manières d'augmenter la taille de la police dans Emacs sous Linux, et cet article passera en revue quelques-unes des meilleures options que vous devriez utiliser.
Deux façons d'augmenter la taille de la police dans Emacs sous Linux
Certaines personnes acceptent la taille de police par défaut dans Emacs, mais supposons que la taille de police soit trop petite pour vous. Il existe des étapes rapides pour augmenter la taille de la police à une taille confortable. Parcourez chaque méthode discutée pour voir celle qui vous convient le mieux.
Méthode 1 : Utiliser les combinaisons de touches
L'utilisation des raccourcis clavier pour réaliser différentes tâches dans Emacs n'est pas nouvelle. Même lorsqu'il s'agit d'ajuster la taille de la police, il existe des combinaisons de touches que vous pouvez utiliser pour augmenter la taille de la police dans Emacs.
Nous utilisons le tampon suivant qui contient trois lignes de texte :
Pour augmenter la taille de la police, appuyez sur « C-x c-+ ». Les raccourcis signifient que vous appuyez sur la touche « Ctrl », puis x, relâchez le x et appuyez sur «+» pour augmenter progressivement la taille de la police jusqu'à obtenir une taille de police confortable qui vous offre la meilleure visibilité.
L'utilisation de cette combinaison de touches n'affecte que le tampon actuel et les modifications de la taille de la police sont temporaires pour le tampon. Voici un exemple de la façon dont nous augmentons la taille de la police de notre tampon :
Après avoir augmenté la taille de la police, vous souhaiterez peut-être également la diminuer afin de contrôler la taille du texte. Nous utilisons la même combinaison de touches pour cela, mais au lieu d'appuyer sur « + », nous appuyons sur « - » jusqu'à obtenir la taille de police souhaitée. Utilisez le « C-x C– » clés. Remarquez comment, à mesure que vous continuez à appuyer sur « C– », la taille de la police continue de diminuer, même en dessous de la taille de police par défaut.
Pour revenir à la taille de police par défaut, appuyez sur la touche « C-x C-0 ». Le tampon utilisera la taille de police par défaut, la taille de police globale de votre Emacs.
Méthode 2 : ajustement du tampon actuel avec la commande
Emacs propose la commande « text-scale-adjust » d que vous pouvez utiliser pour augmenter la taille de la police du tampon actuel de manière interactive. Pour utiliser cette option, ouvrez votre Emacs sur n'importe quel tampon sur lequel vous souhaitez augmenter la taille de la police. Ensuite, appuyez sur la touche « M-x », la touche du clavier « Alt + x », puis tapez « text-scale-adjust ».
Une fois que vous appuyez sur la touche RET/Entrée, vous obtiendrez une sortie qui montre comment ajuster la taille du texte. Vous pouvez utiliser ' + » augmenter, ' – » pour diminuer, ou 0 pour restaurer la taille de la police.
Dans notre cas, nous souhaitons augmenter la taille de la police. Dans ce cas, appuyez sur les touches « Ctrl » et « + » touches ensemble et continuez à appuyer sur la touche « + » pour augmenter la taille de la police de manière interactive. Tout en appuyant sur la touche « + », assurez-vous que vous maintenez toujours la touche « Ctrl ».
Si vous souhaitez réduire la taille de la police, ajoutez la même commande « text-scale-adjust » et appuyez sur « Ctrl » et « – » pour diminuer la taille de la police. Continuez à appuyer sur le « - » jusqu'à ce que vous ayez votre taille de police préférée.
Vous pouvez également restaurer rapidement la taille de la police en appuyant sur « Ctrl + 0 » lors de l’exécution de la commande « text-scale-adjust ».
Méthode 3 : Solution permanente
La dernière méthode pour augmenter la taille de la police dans Emacs consiste à définir la taille de police préférée dans votre fichier de configuration Emacs.
Localisez le fichier de configuration. Il s'agit soit du « ~/.emacs » soit du « ~/.emacs.d/init.el ». Ensuite, ajoutez l'instruction suivante :
( set-face-attribute 'nil par défaut : hauteur 120 )
L'instruction donnée définit la taille de votre police sur 12 pt. N'hésitez pas à l'ajuster en fonction de la façon dont vous le voyez le mieux. Enfin, enregistrez le fichier de configuration et redémarrez Emacs. Avec cela, Emacs augmentera la taille de votre police en fonction des attributs que vous avez spécifiés dans le fichier de configuration.
Conclusion
Emacs permet à ses utilisateurs d'ajuster la taille de la police des tampons globaux ou de leur tampon actuel. Ce guide fournit trois méthodes que vous pouvez utiliser pour augmenter la taille de la police dans Emacs sous Linux. Essayez chaque méthode, voyez laquelle répond le mieux à vos besoins et respectez-la.