J'ai récemment eu besoin de faire un peu d'édition Lisp et j'ai trouvé le paquetage Ready Lisp pour OS X, qui est génial, sauf qu'Aquamacs utilise automatiquement une police proportionnelle (ce qui est idiot, IMHO) et je veux changez-le en police monospace. Cependant, je ne suis pas vraiment un utilisateur d'EMACS, et le menu des préférences dans Aquamacs est moins clair sur où et comment on pourrait faire un tel changement.Changer la police dans Aquamacs?
Répondre
C'est ce que j'ai dans mes .emacs pour OS X:
(set-default-font "-apple-bitstream vera sans mono-medium-r-normal--0-0-0-0-m-0-mac-roman")
Maintenant, je ne suis pas sûr Bitstream Vera est livré en standard sur OS X, de sorte que vous devrez peut-être soit le télécharger ou choisir un police différente. Vous pouvez rechercher les noms de police X en exécutant (x-list-fonts "searchterm")
dans un tampon ELisp (par exemple *scratch*
- pour l'exécuter, tapez-le et tapez C-j
sur la même ligne).
De l'EmacsWiki Aquamacs FAQ:
Pour changer la police utilisée pour afficher le cadre actuel, allez dans le panneau de la police. Vous pouvez le faire avec la touche Apple-t ou via le menu: Options → Afficher/Masquer → Panneau de polices. Une fois là, sélectionnez la police que vous voulez.
Pour que la police de l'image actuelle corresponde à par défaut, accédez à Options → Image Styles d'apparence. Sélectionnez "utiliser le mode actuel pour le mode foo", où foo est le mode du cadre actuel (par exemple, foo = texte pour le mode texte), pour utiliser le style en cours (y compris la police, mais aussi d'autres modifications vous avez fait le style du cadre) pour tous les fichiers de ce type. Sélectionnez «Utiliser le style actuel par défaut» pour utiliser le style actuel pour tous les fichiers pour lesquels le mode principal n'a pas été défini.
Il existe également des recommandations pour les polices monospaced - Monaco ou "Vera Sans Mono".
c'est celui que j'utilise:
-apple-DejaVu_Sans_Mono-medium-normal-normal-*-12-*-*-*-m-0-iso10646-1
Vous pouvez le configurer dans le fichier .emacs comme:
(set-default-font "-apple-DejaVu_Sans_Mono-medium-normal-normal-*-12-*-*-*-m-0-iso10646-1")
Vous pouvez le télécharger à partir dejavu-fonts.org
Dans Aquamacs 2.1, vous pouvez définir la police à travers Options-> Apparence-> Police pour le mode texte ... Cela fait apparaître la fenêtre de sélection de polices standard, choisissez la police que vous aimez. Ensuite, lorsque vous quittez emacs (C-x C-c), vous serez invité à enregistrer les options, appuyez sur "y".
- 1. Comment changer la couleur de la police dans VB6?
- 2. Impossible de changer de police dans java.awt.MenuBar
- 3. changer la police pour un texte à une police pas dans les polices de la famille
- 4. Comment changer la couleur de la police d'un TextBox désactivé?
- 5. UITextField changer la taille de la police via Interface Builder
- 6. Changer la couleur de la police runtime Android
- 7. UIStringDrawing Changer la couleur de la police - touche de cacao
- 8. Changer la couleur de police du texte en format PDF
- 9. Emacs + Mac OSX et changer la police par défaut
- 10. Est-il possible de changer la police dans la fenêtre d'édition SQL dans Access 2007?
- 11. Javascript - Changer la couleur de la police de certains textes dans textarea
- 12. Comment puis-je changer la taille de la police dans GTK?
- 13. Comment installer cscope avec aquamacs sur MacOS?
- 14. Faire tout le texte avec la police Helvetica avoir la police Arial dans jQuery
- 15. comment changer le style de police du texte dans la zone de texte sur le clic?
- 16. WPF: changer la police de tous les contrôles dans un conteneur donné
- 17. Des problèmes de changer la police dans une ligne de table
- 18. Java Graphics ne peut pas changer de police
- 19. Redimensionner la police dans TextBox dans la grille
- 20. Comment changer dynamiquement la couleur de police du champ d'étiquette blackberry?
- 21. Adobe Flex - un moyen de changer automatiquement la taille de la police pour tenir dans son conteneur?
- 22. Itext intègre la police dans un PDF
- 23. Propriétés de la police
- 24. comment changer la couleur de police de contrôle css en utilisant colorpicker
- 25. Comment changer la police/couleur sur dialogue MFC pour Windows Mobile?
- 26. Comment définir la police d'un élément de l'interface utilisateur sur la police "System" dans IB?
- 27. Modifier uniquement la taille de police dans SWT
- 28. redimensionner taille de police dans la zone de texte automatiquement
- 29. Augmenter la taille de la police dans la légende d'octave?
- 30. Utilisation de la police personnalisée
C'est la meilleure réponse. Comme d'autres, j'utilise DejaVu Sans Mono, qui est une extension de Bitstream Vera Sans Mono. – khedron