Add the possibility to change the position of tabs in main window (from r9717).

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

1 files changed, 3 insertions, 1 deletions

diff --git a/ide/preferences.mli b/ide/preferences.mli
index 7d2be0012..9d85b5108 100644
--- a/ide/preferences.mli
+++ b/ide/preferences.mli
@@ -54,6 +54,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 +63,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