Réponses:
Définissez l' guifont
option dans votre .gvimrc
. Voir :help guifont
et :help setting-guifont
.
Vous pouvez notamment utiliser: set guifont=Consolas:h11
Consolas à 11 points dans gvim sous Windows. Il existe quelques autres options que vous pouvez utiliser (chacune séparée par un a :
), par exemple en :b
gras, bien que certaines ne soient disponibles que sur certaines plates-formes.
L' :h
option permettant de définir la taille de la police comme indiqué est probablement la plus utile, et celle spécifiquement liée à la modification de la taille de la police, comme vous l'avez demandé.
name:size
syntaxe ne fonctionne que sur Windows gVim. Pour gtk gVim, vous devez utiliser name size
(espace entre le nom et la taille de la police) ... Les autres plateformes peuvent avoir d'autres formats ...
set guifont=
? Non set gfn=
?
Si vous souhaitez simplement modifier la taille de la police dans une instance GVim en cours d'exécution, tapez:
:set guifont=*
Une fenêtre devrait apparaître vous permettant de définir la taille de la police et de choisir une nouvelle police si vous le souhaitez. Vous pouvez ensuite demander à Vim d’imprimer la ligne à ajouter ~/.gvimrc
pour rendre le changement permanent:
:set guifont?
Produit quelque chose comme ce qui suit dans la ligne d'état:
guifont=Hasklig-Light:h16
Ajoutez cela avec le préfixe set
à votre ~/.gvimrc
pour persister.
J'ai le suivant dans mon .vimrc pour changer la taille de la police rapidement sans changer la police. Fonctionne sur Windows et GTK. Je n'ai pas testé d'autres interfaces graphiques. Je suis sûr que je l'avais copié à l'origine de quelqu'un d'autre, mais ça a été dans mon fichier rc si longtemps que je ne me souviens plus d'où il vient.
if has("unix")
function! FontSizePlus ()
let l:gf_size_whole = matchstr(&guifont, '\( \)\@<=\d\+$')
let l:gf_size_whole = l:gf_size_whole + 1
let l:new_font_size = ' '.l:gf_size_whole
let &guifont = substitute(&guifont, ' \d\+$', l:new_font_size, '')
endfunction
function! FontSizeMinus ()
let l:gf_size_whole = matchstr(&guifont, '\( \)\@<=\d\+$')
let l:gf_size_whole = l:gf_size_whole - 1
let l:new_font_size = ' '.l:gf_size_whole
let &guifont = substitute(&guifont, ' \d\+$', l:new_font_size, '')
endfunction
else
function! FontSizePlus ()
let l:gf_size_whole = matchstr(&guifont, '\(:h\)\@<=\d\+$')
let l:gf_size_whole = l:gf_size_whole + 1
let l:new_font_size = ':h'.l:gf_size_whole
let &guifont = substitute(&guifont, ':h\d\+$', l:new_font_size, '')
endfunction
function! FontSizeMinus ()
let l:gf_size_whole = matchstr(&guifont, '\(:h\)\@<=\d\+$')
let l:gf_size_whole = l:gf_size_whole - 1
let l:new_font_size = ':h'.l:gf_size_whole
let &guifont = substitute(&guifont, ':h\d\+$', l:new_font_size, '')
endfunction
endif
if has("gui_running")
nmap <S-F12> :call FontSizeMinus()<CR>
nmap <F12> :call FontSizePlus()<CR>
endif
has('unix')
est souvent vrai sur les systèmes OSX, et selon John ici , OSX requiert le même format que Windows ... Donc, utiliser has('gui_gtk2')
est probablement mieux que d’utiliser has('unix')
.
Apparemment, la manière d'écrire les paramètres de police dépend beaucoup de la plate-forme. Ce qui a fonctionné pour moi (gvim dans MX Linux 17, (une distribution Linux basée sur Debian avec un bureau XFCE)):
: set guifont?
Exemple: guifont=DejaVu Sans Mono 12
~/.gvimrc
fichier, en évitant les espaces avec des barres obliques inverses et en n'utilisant pas :
avant la taille .Exemple: set guifont=DejaVu\ Sans\ Mono\ 18
~/.gvimrc
fichier, les nouvelles instances de gvim doivent utiliser la nouvelle taille souhaitée.Ces deux réponses m'ont aidé:
En plus des commentaires de celui-ci:
Basé sur la réponse de Drew, cette configuration a mieux fonctionné pour moi.
Il augmente ou diminue la taille de police à l' aide \+
ou \-
( en supposant \
est votre chef) et cycles à travers les polices prédéfinies à l' aide cot
. Je permute souvent entre ces polices selon que je travaille avec du code source ou du texte.
let g:fnt_types = ['SourceCode\ Pro', 'monofur' ]
let g:fnt_sizes = [ 10, 13 ]
let g:fnt_index = 0
let g:fnt_size = g:fnt_sizes[g:fnt_index]
function! CycleFont()
let g:fnt_index = (g:fnt_index + 1) % len(g:fnt_types)
let g:fnt_size = g:fnt_sizes[g:fnt_index]
call ResetFont()
endfunction
function! ResetFont ()
if has('gui_running')
exe ':set guifont=' . g:fnt_types[g:fnt_index] . '\ ' . string(g:fnt_size)
endif
endfunction
call ResetFont()
function! FontSizePlus ()
let g:fnt_size = g:fnt_size + 0.5
call ResetFont()
endfunction
function! FontSizeMinus ()
let g:fnt_size = g:fnt_size - 0.5
call ResetFont()
endfunction
nnoremap <leader>+ :call FontSizePlus()<cr>
nnoremap <leader>- :call FontSizeMinus()<cr>
nnoremap cot :call CycleFont()<cr>
Vous pouvez essayer ce plugin: vim-fontzoom .
map <m-o> :Fontzoom!<cr>
map <m--> <Plug>(fontzoom-smaller)
map <m-=> <Plug>(fontzoom-larger)
:help 'guifont'
devrait avoir l'information dont vous avez besoin. Voir également Comment naviguer dans les rubriques de la documentation de Vim? , Basculez rapidement entre les polices au moment de l’exécution , Comment afficher Font Awesome dans Vim? .