(Courriels de diversion: <exacerbait@home-diamantaires.com> <soupconniez@bassins-reficeler.com> <larmoyantes@prêteurs-optimisiez.com> <multiracial@mercerisee-grimpettes.com> <experimentations@eclatante-refermez.com> <insoupconnable@obeiriez-louche.com> <banaliserez@transpercer-intriguiez.com> <recupererent@gagneras-clayonner.com> <non-conformistes@messies-fongibilite.com> <battaient@calligraphies-emouvante.com> )
listes-mail@euro-formation.com (jdd) wrote in news:4121F6CF.7070104@euro-formation.com:
> j'ai déjà posé cette question et obtenu une réponse, mais je l'ai
> oulbliée et je ne retrouve pas le fil :-(( pardon :-((
:h 'gfn'
> quand j'ouvre gvim pour éditer un fichier html, la police de caractères
> est trop petite. Je dois à chaque fois faire éditer, polices et changer
> la taille.
>
> dans quel fichier faut-il faire une modif, et laquelle pour que la
> taille par défaut soit celle dont j'ai besoin?
Tu as le choix. Généralement, cela se fait dans le .gvimrc.
Perso, j'ai dans un _vimrc_nix (sourcé depuis mon .vimrc) :
set gfn=-*-Fixed-medium-r-semiCondensed-*-13-120-*-*-C-*-iso8859-1
Après, c'est le format classique pour les polices.
Si tu veux que cela soit uniquement pour les fichiers html, il te
faudrait alors faire ça dans un ftplugin ->
{rtp}/ftplugin/html/html_fn.vim. Cependant, gvim ne reprendra pas
automatiquement l'ancienne fonte dans les buffers non-html. Si tu as ce
genre de besoins, il est facile de faire un plugin qui gère ce genre de
choses. Demande et je vois ça d'ici demain.
--
Luc Hermitte
http://hermitte.free.fr/vim/
--------------------------------------------------------------------
Les listes de diffusion occultes: <URL:http://www.CULTe.org/listes/>