# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1516567879 28800
# Node ID c4077384f55f8937356a6f58ccb4304fba2d2b81
# Parent  5c758d16bad6e3626d129857ec8b418fed5baf04
Use `InputMono` or `Hack` if they're installed.

diff -r 5c758d16bad6 -r c4077384f55f vim/vimrc
--- 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