ide changes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3694 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 32 insertions, 1 deletions

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 624bed0a7..2702854e2 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -3,10 +3,41 @@ type pref =
       mutable cmd_coqc : string;
       mutable cmd_coqmakefile : string;
       mutable cmd_coqdoc : string;
+
       mutable global_auto_revert : bool;
       mutable global_auto_revert_delay : float;
+
       mutable auto_save : bool;
       mutable auto_save_delay : float;
+      mutable auto_save_name : string*string;
+
       mutable automatic_tactics : string * string list;
-      mutable cmd_print : string
+      mutable cmd_print : string;
+
+      mutable modifier_for_navigation : Gdk.Tags.modifier list;
+      mutable modifier_for_templates : Gdk.Tags.modifier list;
+      
+
     }
+
+
+let (current:pref) = 
+  {
+    cmd_coqc = "coqc";
+    cmd_coqmakefile = "coqmakefile";
+    cmd_coqdoc = "coqdoc";
+    cmd_print = "lpr";
+    
+
+    global_auto_revert = false;
+    global_auto_revert_delay = 1.;
+    
+    auto_save = false;
+    auto_save_delay = 1.;
+    auto_save_name = "#","#";
+
+    automatic_tactics = [];
+    
+    modifier_for_navigation = [`CONTROL; `MOD1];
+    modifier_for_templates = [`MOD1];
+  }