From 943cb0b91cfb15e2bdc04c626035e8cba0e65c02 Mon Sep 17 00:00:00 2001
From: gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 25 Apr 2013 14:14:36 +0000
Subject: lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutils

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16455 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/ideutils.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ide/ideutils.mli')

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
-- 
cgit v1.2.3