# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1525067671 25200
# Node ID decee05a559551b966ef9fc866d45fcbc7c888c5
# Parent  a3c6869085c1b6b631ac29c7d539d114f4eb3289
Weird, Neovim doesn't have `guifont`?

diff -r a3c6869085c1 -r decee05a5595 vim/vimrc
--- a/vim/vimrc	Sun Apr 29 22:31:49 2018 -0700
+++ b/vim/vimrc	Sun Apr 29 22:54:31 2018 -0700
@@ -185,10 +185,12 @@
 
 " And now, for some system-dependent settings:
 " - font to use
-if ludo#platform() == "windows"
-    set guifont=InputMono:h10,Hack:h12,Consolas:h12
-else
-    set guifont=InputMono:h10,Hack:h12,Monaco:h12
+if !has('nvim')
+    if ludo#platform() == "windows"
+        set guifont=InputMono:h11,Hack:h12,Consolas:h12
+    else
+        set guifont=InputMono:h11,Hack:h12,Monaco:h12
+    endif
 endif
 
 " Syntax highlighting.