From 1c51bd7c3ddda1a9a5feffaa4ffa1c111b77d54d Mon Sep 17 00:00:00 2001 From: gareuselesinge Date: Mon, 6 May 2013 13:40:42 +0000 Subject: 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 --- ide/ideutils.mli | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'ide/ideutils.mli') 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 -- cgit v1.2.3