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, 1 insertions, 1 deletions
diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index c22c167ba..3d950ead8 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -64,7 +64,7 @@ val set_location : (string -> unit) ref
val requote : string -> string
-val textview_width : #GText.view -> int
+val textview_width : #GText.view_skel -> int
(** Returns an approximate value of the character width of a textview *)
type logger = Interface.message_level -> string -> unit