changeset 439:f1f95a19fffe

Adjust the font size.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 29 Apr 2018 22:11:27 -0700
parents 3d999fcf62c6
children 4b816faa06e2
files vim/vimrc
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/vim/vimrc	Sat Feb 17 15:04:36 2018 -0800
+++ b/vim/vimrc	Sun Apr 29 22:11:27 2018 -0700
@@ -186,9 +186,9 @@
 " And now, for some system-dependent settings:
 " - font to use
 if ludo#platform() == "windows"
-    set guifont=InputMono:h11,Hack:h12,Consolas:h12
+    set guifont=InputMono:h10,Hack:h12,Consolas:h12
 else
-    set guifont=InputMono:h11,Hack:h12,Monaco:h12
+    set guifont=InputMono:h10,Hack:h12,Monaco:h12
 endif
 
 " Syntax highlighting.