From 4a1b531d168ce0794b9e5c506ebc5c6032146cd8 Mon Sep 17 00:00:00 2001
From: "Dustin C. Hatch" <admiralnemo@gmail.com>
Date: Sat, 4 Aug 2012 13:57:35 -0500
Subject: [PATCH] Tweak font size on Linux

---
 plugin/00-dustin.vim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugin/00-dustin.vim b/plugin/00-dustin.vim
index eefb0ba..5e4e964 100644
--- 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