aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/ideutils.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ide/ideutils.mli')
-rw-r--r--ide/ideutils.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index cc34a355a..56183c520 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -91,3 +91,5 @@ 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