From a0cfa4f118023d35b767a999d5a2ac4b082857b4 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 25 Jul 2008 15:12:53 +0200
Subject: Imported Upstream version 8.2~beta3+dfsg

---
 ide/preferences.mli | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'ide/preferences.mli')

diff --git a/ide/preferences.mli b/ide/preferences.mli
index c3e26f50..d7f32380 100644
--- a/ide/preferences.mli
+++ b/ide/preferences.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: preferences.mli 9240 2006-10-13 17:51:11Z notin $ i*)
+(*i $Id: preferences.mli 11009 2008-05-28 13:58:33Z jnarboux $ i*)
 
 type pref =
     {
@@ -32,10 +32,11 @@ type pref =
       mutable modifier_for_navigation : Gdk.Tags.modifier list;
       mutable modifier_for_templates : Gdk.Tags.modifier list;
       mutable modifier_for_tactics : Gdk.Tags.modifier list;
+      mutable modifier_for_display : Gdk.Tags.modifier list;
       mutable modifiers_valid : Gdk.Tags.modifier list;
 
-      mutable cmd_browse : string * string;
-      mutable cmd_editor : string * string;
+      mutable cmd_browse : string;
+      mutable cmd_editor : string;
 
       mutable text_font : Pango.font_description;
 
@@ -54,6 +55,8 @@ type pref =
       mutable auto_complete : bool;
       mutable stop_before : bool;
       mutable lax_syntax : bool;
+      mutable vertical_tabs : bool;
+      mutable opposite_tabs : bool;
     }
 
 val save_pref : unit -> unit
@@ -61,7 +64,7 @@ val load_pref : unit -> unit
 
 val current : pref ref
 
-val configure : unit -> unit
+val configure : ?apply:(unit -> unit) -> unit -> unit
 
 val change_font : ( Pango.font_description -> unit) ref
 val show_toolbar : (bool -> unit) ref
-- 
cgit v1.2.3