Maison >Tutoriel système >Linux >J'utilise gVim7.3.1 sur une machine GNU/
J'utilise gVim7.3 sur une machine GNU/J'aimerais savoir s'il existe un moyen de modifier manuellement la taille de la police en fonction de la taille de la fenêtre. Je suis relativement nouveau dans la modification de la ligne de commande des systèmes VimLinux. taille de la police, donc je ne la connais pas.
Ma situation est la suivante : j'utilise DejaVuSansMono12 comme police par défaut, mais parfois je souhaite passer au système Terminus9linux pour modifier la taille de la police de la ligne de commande, lorsque je veux réduire la fenêtre Vim pour voir ce qu'il y a à l'écran. tapez (Vous savez, pour ceux d’entre nous qui ont de petits écrans d’ordinateur portable et qui ne veulent pas basculer entre les espaces de travail…!)
Je veux donc savoir si je réduis les commandes dans le fichier .vimrc, si je réduis la taille de la fenêtre par défaut suffisamment petite pour que Vim ajuste la police manuellement, si ces comportements se produiront manuellement.
Des commentaires ?
Lorsque la taille de la fenêtre de Vim change, Vim déclenchera une tempête VimResized. Vous pouvez compiler une autocmd qui s'adapte à la police ("guifont"). Il s'agit d'une autocmd qui ne considère que les "colonnes" (pas les "lignes"). noms de polices codés en dur :
function! FontChangeOnResize() if &columns > 80 set guifont=Lucida_Console:h14 elseif &columns > 60 set guifont=Lucida_Console:h12 elseif &columns > 40 set guifont=Lucida_Console:h10 elseif &columns > 20 set guifont=Lucida_Console:h8 else set guifont=Lucida_Console:h6 endif endfunction autocmd VimResized * call FontChangeOnResize()
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!