Ideutils: comment on missing Glib utf8 handling function

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

1 files changed, 4 insertions, 1 deletions

diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index 56183c520..c22c167ba 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -14,7 +14,11 @@ val cb : GData.clipboard
 val doc_url : unit -> string
 val browse : (string -> unit) -> string -> unit
 val browse_keyword : (string -> unit) -> string -> unit
+
+(* These two functions are equivalent, the latter is named following
+   glib schema, and exists in glib but is not in lablgtk2 *)
 val byte_offset_to_char_offset : string -> int -> int
+val glib_utf8_pos_to_offset : string -> off:int -> int
 
 type timer = { run : ms:int -> callback:(unit->bool) -> unit;
                kill : unit -> unit }
@@ -92,4 +96,3 @@ val io_read_all : Glib.Io.channel -> string
 val run_command :
   (string -> unit) -> (Unix.process_status -> unit) -> string -> unit
 
-val glib_utf8_pos_to_offset : string -> off:int -> int