diff vim/vimrc @ 442:decee05a5595

Weird, Neovim doesn't have `guifont`?
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 29 Apr 2018 22:54:31 -0700
parents a3c6869085c1
children 4ca0b1413199
line wrap: on
line diff
--- 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.