Use different font for windows

This commit is contained in:
Oliver Hartmann 2019-01-02 18:43:46 +01:00
parent c457e58fb3
commit 59b44eb1b9

View File

@ -1,9 +1,13 @@
" set mouse=a " set mouse=a
" Guifont DejaVu Sans Mono:h10 if has("win32")
" Guifont Liberation Mono for Powerline:h9 Guifont! Consolas:h11
" Guifont Droid Sans Mono for Powerline:h10 else
Guifont Source Code Pro for Powerline:h10 " Guifont DejaVu Sans Mono:h10
" Guifont Terminess Powerline:h10 " Guifont Liberation Mono for Powerline:h9
" Guifont Droid Sans Mono for Powerline:h10
Guifont Source Code Pro for Powerline:h10
" Guifont Terminess Powerline:h10
end
" Paste with middle mouse click " Paste with middle mouse click
vmap <LeftRelease> "*ygv vmap <LeftRelease> "*ygv