From 881dc3ffdd2b7dd874da57402b8f3f413f8d3d05 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 23 Mar 2008 08:47:02 +0000
Subject: CoqIDE default font set to monospace so as indentation to be
 meaningful

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10709 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/preferences.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 91c2cc9fcc..31edcdd1b7 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -133,7 +133,8 @@ let (current:pref ref) =
 	 then "NOTEPAD ", ""
 	 else "emacs ", "";
     
-    text_font = Pango.Font.from_string "sans 12";
+(*    text_font = Pango.Font.from_string "sans 12";*)
+    text_font = Pango.Font.from_string "Monospace 10";
 
     doc_url = "http://coq.inria.fr/doc/";
     library_url = "http://coq.inria.fr/library/";
-- 
cgit v1.2.3