From: Iain Patterson <me@iain.cx>
Date: Fri, 11 Jan 2008 14:04:55 +0000 (+0000)
Subject: GUI font for 96dpi.
X-Git-Url: http://git.iain.cx/?a=commitdiff_plain;h=99881ad89700e483371cc2794d63afab85469498;p=profile.git

GUI font for 96dpi.
Set Windows-friendly session options.


git-svn-id: https://svn.cambridge.iain.cx/profile/trunk@88 6be0d1a5-5cfe-0310-89b6-964be062b18b
---

diff --git a/.vimrc b/.vimrc
index 1d7d9d7..3a2f754 100644
--- a/.vimrc
+++ b/.vimrc
@@ -68,6 +68,10 @@ map = yyp:s/./=/g<RETURN>:let @/=''<RETURN>:<RETURN>
 if version >= "500"
 version 5.0
 
+" Save sessions in UNIX format with / as file separator.  This is
+" cross-platoform.
+se ssop+=unix,slash
+
 " Nuke any pre-existing autocommands.
 autocmd!
 
@@ -237,7 +241,7 @@ syn enable
 
 " Nice GUI colour.
 if has("gui_running")
-  se guifont=Bitstream\ Vera\ Sans\ Mono\ 12
+  se guifont=Bitstream\ Vera\ Sans\ Mono\ 10
   colo darkblue
 endif
 if has("win32")