GUI font for 96dpi.

[profile.git] / .vimrc

diff --git a/.vimrc b/.vimrc
index 1d7d9d7..3a2f754 100644 (file)
--- a/.vimrc
+++ b/.vimrc
@@ -68,6 +68,10 @@ map = yyp:s/./=/g<RETURN>:let @/=''<RETURN>:<RETURN>
 if version >= "500"
 version 5.0
 
 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!
 
 " Nuke any pre-existing autocommands.
 autocmd!
 


@@ -237,7 +241,7 @@ syn enable
 
 " Nice GUI colour.
 if has("gui_running")
 
 " 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")
   colo darkblue
 endif
 if has("win32")