diff vim/vimrc @ 419:c4077384f55f

Use `InputMono` or `Hack` if they're installed.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 21 Jan 2018 12:51:19 -0800
parents 72365ec18f54
children e6b3048980c4
line wrap: on
line diff
--- a/vim/vimrc	Sun Jan 21 12:50:59 2018 -0800
+++ b/vim/vimrc	Sun Jan 21 12:51:19 2018 -0800
@@ -197,9 +197,9 @@
 " And now, for some system-dependent settings:
 " - font to use
 if s:vim_platform == "windows"
-    set guifont=Consolas:h12
+    set guifont=InputMono:h11,Hack:h12,Consolas:h12
 else
-    set guifont=Hack:h12,Monaco:h12
+    set guifont=InputMono:h11,Hack:h12,Monaco:h12
 endif
 
 " Syntax highlighting.
@@ -346,7 +346,7 @@
 
 " Python-Mode {{{
 
-let g:pymode = 1
+let g:pymode = 0
 let g:pymode_python = 'python3'
 
 let g:pymode_syntax = 0