Augmenter la taille de la police dans Emacs sous Linux

En tant qu'utilisateur d'Emacs, vous constaterez peut-être que la taille de police par défaut sur le tampon actuel ou le tampon global n'est pas exactement adaptée à vos besoins. Parfois, vous pouvez avoir l’impression que la taille de la police est trop grande ou trop petite, ce qui affecte votre capacité à lire clairement le texte. Savoir comment ajuster la taille de la police peut vous permettre de travailler plus facilement avec le contenu du texte et d'éviter la fatigue oculaire. Il existe plusieurs façons d'ajuster la taille de la police dans Emacs sur les systèmes Linux, et cet article présentera certaines des meilleures options à utiliser.

Deux façons d'augmenter la taille de la police Emacs sous Linux

Certains utilisateurs peuvent penser que la taille de police par défaut dans Emacs est déjà adaptée, mais si vous pensez que la police est trop petite, vous pouvez facilement l'ajuster à une taille qui vous convient mieux. Parcourez les différentes méthodes discutées pour trouver celle qui vous convient le mieux pour augmenter la taille de la police.

Méthode 1 : Utiliser la combinaison de touches

Il est devenu courant d'utiliser des touches de raccourci pour effectuer diverses tâches dans Emacs. Par exemple, pour ajuster la taille de la police, vous pouvez facilement le faire avec une combinaison de touches. Emacs est en fait un éditeur puissant et hautement personnalisable qui permet aux utilisateurs de terminer leur travail plus efficacement.

Nous utilisons le tampon suivant, qui contient trois lignes de texte :

Pour augmenter la taille de la police, appuyez sur "C—x c—+". Le raccourci signifie que vous appuyez sur la touche "Ctrl", puis appuyez sur x, relâchez x, puis appuyez sur la touche "+", en augmentant progressivement la taille de la police jusqu'à obtenir une taille de police confortable qui vous offre la meilleure visibilité.

Appuyer sur une combinaison de touches ne modifiera que la taille de la police dans le tampon actuel, et ce changement n'est que temporaire. L'exemple ci-dessous montrera comment ajuster la taille de la police dans le tampon :

Après avoir augmenté la taille de la police, vous souhaiterez peut-être également la réduire pour contrôler la taille du texte. Nous utilisons la même combinaison de touches, mais au lieu d'appuyer sur "+", nous appuyons sur "-" jusqu'à obtenir la taille de police souhaitée. Utilisez les touches "C-x C-". Remarquez comment, à mesure que vous continuez d'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 "C-x C-0". Le tampon utilisera la taille de police par défaut, qui est la taille de police globale d'Emacs.

Méthode 2 : Ajustez le tampon actuel à l'aide des commandes

Emacs dispose d'une commande "text-scale-adjust" qui ajuste de manière interactive la taille de la police du tampon actuel. Pour utiliser cette fonctionnalité, effectuez les étapes suivantes dans Emacs avec n'importe quel tampon ouvert : Appuyez sur la combinaison de touches "M-x" (Alt + x) et tapez "text-scale-adjust".

Après avoir appuyé sur la touche RET/Entrée, vous obtiendrez une sortie montrant comment redimensionner le texte. Vous pouvez utiliser « + » pour augmenter la taille de la police, « - » pour diminuer la taille de la police ou 0 pour restaurer la taille de la police.

Pour notre cas, nous souhaitons augmenter la taille de la police. Dans ce cas, appuyez simultanément sur les touches « Ctrl » et « + » et continuez d'appuyer sur la touche « + » pour augmenter de manière interactive la taille de la police. Assurez-vous de toujours maintenir la touche "Ctrl" enfoncée lorsque vous appuyez sur la touche "+".

Si vous souhaitez réduire la taille de la police, ajoutez la même commande "Text-Scale-Adjust", puis appuyez sur "Ctrl" et "-" pour réduire la taille de la police. Continuez à appuyer sur "-" jusqu'à ce que vous ayez la taille de police que vous souhaitez.

Vous pouvez également restaurer rapidement la taille de la police en appuyant sur "Ctrl +0" lors de l'exécution de la commande "Text-Proportion-Adjust".

Méthode 3 : Solution permanente

La dernière façon d'augmenter la taille de la police dans Emacs est de définir la taille de police préférée dans le fichier de configuration Emacs.

Recherchez le fichier de configuration. Il s'agit de "~/. emacs" ou "~/. emacs. d/init. el". Ensuite, ajoutez la déclaration suivante :

(set—face—attract ‘par défaut nul : hauteur 120)

Il a dit :

L'instruction donnée définit la taille de la police à 12 points. N'hésitez pas à l'ajuster comme bon vous semble. Enfin, enregistrez le fichier de configuration et redémarrez Emacs. De cette façon, Emacs augmentera la taille de votre police en fonction des propriétés que vous spécifiez dans le fichier de configuration.

Conclusion

Emacs permet aux utilisateurs d'ajuster la taille de la police du tampon global ou du tampon actuel. Ce guide propose trois méthodes que vous pouvez utiliser pour augmenter la taille de la police dans Emacs sous Linux. Essayez chaque méthode pour voir celle qui correspond le mieux à vos besoins et respectez-la.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!