Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 09/11/2006, à 18:57

tc

emacs

Bonjour,

Je ne sais pas si c'est la bonne section pour poster ma question, mais je tente ^^

Comment faire pour diminuer la taille de la police sur emacs, je suppose qu'il faut modifier le .emacs mais je ne trouve pas comment.

D'avance merci.

Hors ligne

#2 Le 09/11/2006, à 22:15

cxente

Re : emacs

Tous ces réglages peuvent en effet se faire en modifiant ton fichier de
configuration .emacs.
J'ai modifié le mien il y a quelques temps, pour la même raison que toi, réduire la taille de la police. Dans cette zone :

(set-face-font 'default '
"*courier-medium-r-normal--12-120-*-iso8859-15")

j'avais avant :
"*courier-medium-r-normal--14-140-*-iso8859-1"

Le 14-140 c'est  pour la taille, le courier-medium-r-normal pour la
police. Et les * c'est pour remplacer n'importe quoi. Mais quelles sont
les possibilités ?  me diras-tu... bonne question.

En gros, tu peux avoir la liste dispo sur ton serveur graphique avec :
xlsfonts  -l > myfonts.txt
(attention, ça bloque le serveur grahique un petit moment)

Tu regardes ensuite le fichier myfonts.txt avec emacs.
Et comment choisir ? Utilise xfd, par exemple :
xfd -fn 6x13
ou encore :
xfd -fn  -adobe-helvetica-bold-o-normal--0-0-100-100-p-0-iso8859-2
Ou encore mieux, tu modifies .emacs, tu enregistres et tu ouvres un nouveau emacs.
Toutes les polices de la liste ne marche pas avec emacs et souvent il faut écrire
*courier-medium-r-normal--14-140-*-iso8859-1
et non
adobe-courier-medium-r-normal--14-140-*-iso8859-1

Ensuite, testes et choisis, si tu trouves quelque chose de sympa poste le ici.
Je te propose par exemple cette liste, mais ça dépend beaucoup de ce qu'il y a sur ton serveur :
(set-face-font 'default '"*courier-medium-r-normal--12-120-*-iso8859-15")
(set-face-font 'default '"*lucidatypewriter-medium-r-normal-sans-12-120-*-iso8859-15")
(set-face-font 'default '"*fixed-medium-r-normal-*-13-120-*-iso8859-15")
(set-face-font 'default '"*fixed-medium-r-normal-*-10-100-*-iso8859-15")
;; vraiment petit
(set-face-font 'default '"*fixed-medium-r-normal-*-6-60-*-iso8859-15") ;; minuscule et illisible, juste pour l'exemple
(set-face-font 'default '"*lucida-medium-r-normal-sans-12-120-*-iso8859-15") ;; petit défaut, les caractères ne sont pas de largeurs fixes... ça peut être gênant selon tes utilisations de emacs.

Si tu indiques une police non présente/non reconnue, emacs te le diras au lancement :
An error has occurred while loading `/home/vincent/.emacs':
...

Hors ligne

#3 Le 13/05/2007, à 20:11

Laurent2

Re : emacs

Merci beaucoup pour cette solution, que je cherchais moi aussi depuis un certain temps.

Mais j'ai un petit problème : l'ouverture d'Emacs prend maintenant beaucoup de temps ...

Est-ce normal quand on n'utilise pas la police par défaut ?

(J'ai essayé avec plusieurs polices, mais il y a toujours plusieurs secondes avant l'affichage du contenu du fichier.)
(Remarque : pendant le gel, la barre en bas d'Emacs indique : Loading 50whizzytex (source)...done )

Dernière modification par Laurent2 (Le 13/05/2007, à 20:22)

Hors ligne

#4 Le 14/05/2007, à 07:59

Freddy

Re : emacs

Voir le bug #23005 (qui met d'ailleurs en cause Metacity).
Une solution proposée est d'ajouter à son .emacs (je n'ai pas testé moi-même) :
(modify-frame-parameters nil '((wait-for-wm . nil)))


There is no system but GNU, and Linux is one of its kernels.

Hors ligne

#5 Le 14/05/2007, à 20:17

Laurent2

Re : emacs

merci beaucoup Freddy, ta solution marche !

il faut mettre la ligne (modify-frame-parameters nil '((wait-for-wm . nil))) AVANT le changement de police.

Hors ligne