commit 04a686625fb4260a213dc6be01bc530ab2731091 parent 43f45f94071be74069f676908cb6a1e05f2472c7 Author: Anders Damsgaard <anders@adamsgaard.dk> Date: Thu, 17 Jan 2019 11:07:28 +0100 Set font and more GVim UI options Diffstat:
M | links/.vim/plugin/appearance.vim | | | 12 | +++++++++++- |
1 file changed, 11 insertions(+), 1 deletion(-)
diff --git a/links/.vim/plugin/appearance.vim b/links/.vim/plugin/appearance.vim @@ -28,8 +28,18 @@ augroup ColorSchemeCmds augroup end augroup GVimTweaks - if has('gui running') + if has("gui_running") set guioptions-=T " no toolbar + set guioptions-=m " no menubar + set guioptions-=r " no right-hand scroll bar + set guioptions-=L " no left-hand scroll bar + if has("gui_gtk2") || has("gui_gtk3") + set guifont=Pragmata\ Pro\ 10 + elseif has("gui_macvim") + set guifont=Menlo\ Regular:h14 + elseif has("gui_win32") + set guifont=Consolas:h11:cANSI + endif endif augroup end