From c57679dbb765167d51611394a73ae8d20c5f575e Mon Sep 17 00:00:00 2001 From: "Kenneth Benzie (Benie)" Date: Tue, 5 Jul 2016 20:00:30 +0100 Subject: [PATCH] Move vim GUI options to .vim/gvimrc --- gvimrc | 16 ++++++++++++++++ vimrc | 18 ------------------ 2 files changed, 16 insertions(+), 18 deletions(-) create mode 100644 gvimrc diff --git a/gvimrc b/gvimrc new file mode 100644 index 0000000..64f8fc0 --- /dev/null +++ b/gvimrc @@ -0,0 +1,16 @@ +" Set gui options +" - a Autoselect +" - e Add tab pages +" - g Grey menu items +" - i Use the Vim icon +set guioptions=aegi + +if platform#is_windows() + set guifont=Consolas:h10:cDEFAULT +else + " Set default font + set guifont=Source\ Code\ Pro\ Medium\ 9 +endif + +" Allow space for line numbers +set columns=85 diff --git a/vimrc b/vimrc index 9ab4b04..920a650 100644 --- a/vimrc +++ b/vimrc @@ -25,24 +25,6 @@ if !platform#is_windows() || has("gui_running") endif syntax sync minlines=200 -" GUI -if has("gui_running") - " Set gui options - " - a Autoselect - " - e Add tab pages - " - g Grey menu items - " - i Use the Vim icon - set guioptions=aegi - if platform#is_windows() - set guifont=Consolas:h10:cDEFAULT - else - " Set default font - set guifont=Source\ Code\ Pro\ Medium\ 9 - endif - set columns=85 -endif -" }}} - " Plugins {{{ call plug#begin('~/.vim/plugs')