Dans le menu "option", tu utilises le dernier item "emacs customize", là, au milieu d'une multitude d'options du top-level customization group, tu trouveras quelque chose pour changer polices, taille, couleur de fond, etc... en sauvegardant les choix, tu obtiendras un fichier .emacs-customize qui sera chargé en même temps que ton .emacs en insérant dans ce dernier :
(setq custom-file (expand-file-name "~/.emacs-customize"))
(load custom-file)
Ces options de customization (hou le vilain barbarisme, mais je ne sais pas comment on dit en français), sont nombreuses, ça vaut la peine de farfouiller là-dedans, on y découvre plein de choses !
Poste le Tuesday 2 January 2007 23:19:06