From 841daca011314192537752761b5bb49625d07755 Mon Sep 17 00:00:00 2001 From: Alex Yatskov Date: Fri, 7 Jun 2019 18:43:47 -0700 Subject: [PATCH] larger font --- .vim/options.vim | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.vim/options.vim b/.vim/options.vim index e497b18..f252510 100644 --- a/.vim/options.vim +++ b/.vim/options.vim @@ -56,9 +56,9 @@ if has('gui_running') set guioptions-=r if has('unix') - set guifont=Source\ Code\ Pro\ Regular\ 10 + set guifont=Source\ Code\ Pro\ Regular\ 12 else - set guifont=Source\ Code\ Pro\ Regular:h10 + set guifont=Source\ Code\ Pro\ Regular:h12 endif endif