coqide: warn when using locale or manual charset

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

1 files changed, 10 insertions, 0 deletions

diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index 3edc8ef85..6c2124a37 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -52,3 +52,13 @@ val underscore : Glib.unichar
 val bn : Glib.unichar
 val space : Glib.unichar
 val tab : Glib.unichar
+
+
+val status : GMisc.statusbar option ref 
+val push_info : (string -> unit) ref
+val pop_info : (unit -> unit) ref
+val flash_info : (?delay:int -> string -> unit) ref
+
+val set_location : (string -> unit) ref
+
+val pulse : (unit -> unit) ref