Tweak font size on Linux

2012-08-04 13:57:35 -05:00 · 2012-08-04 13:57:35 -05:00 · 4a1b531d16
parent b4df62027a
commit 4a1b531d16
1 changed files with 1 additions and 1 deletions
--- a/plugin/00-dustin.vim
+++ b/plugin/00-dustin.vim
@ -45,5 +45,5 @@ if has('win32')
  set directory=.,$TEMP,
 elseif has('unix')
  " Nice font and size (escape spaces) (GUI only)
-  set guifont=Luxi\ Mono\ 10
+  set guifont=Luxi\ Mono\ 9
 endif