coqide: load/save file encoding support/

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

1 files changed, 5 insertions, 1 deletions

diff --git a/ide/preferences.mli b/ide/preferences.mli
index 055d621d4..abee44d62 100644
--- a/ide/preferences.mli
+++ b/ide/preferences.mli
@@ -22,6 +22,10 @@ type pref =
       mutable auto_save_delay : int;
       mutable auto_save_name : string * string;
 
+      mutable encoding_use_locale : bool;
+      mutable encoding_use_utf8 : bool;
+      mutable encoding_manual : string;
+
       mutable automatic_tactics : (string * string) list;
       mutable cmd_print : string;
 
@@ -40,7 +44,7 @@ type pref =
       mutable show_toolbar : bool;
       mutable window_width : int;
       mutable window_height : int;
-
+      mutable use_utf8_notation : bool;
     }
 
 val save_pref : unit -> unit