From b1f11f48a161de419590d577012e7207703e601c Mon Sep 17 00:00:00 2001
From: monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 7 Jul 2003 11:52:07 +0000
Subject: Coqide : ported to lablgtk2 snapshot of 2003/07/07

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4221 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/undo.mli | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

(limited to 'ide/undo.mli')

diff --git a/ide/undo.mli b/ide/undo.mli
index 64812a53e..bc19bd933 100644
--- a/ide/undo.mli
+++ b/ide/undo.mli
@@ -10,7 +10,7 @@
 
 (* An undoable view class *)
 
-class undoable_view : Gtk.textview Gtk.obj ->
+class undoable_view : Gtk.text_view Gtk.obj ->
 object
   inherit GText.view
   method undo : bool
@@ -19,10 +19,17 @@ object
 end
 
 val undoable_view : 
-  ?buffer:GText.buffer ->
-  ?editable:bool ->
-  ?cursor_visible:bool ->
-  ?wrap_mode:Gtk.Tags.wrap_mode ->
-  ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> undoable_view
+    ?buffer:GText.buffer ->
+    ?editable:bool ->
+    ?cursor_visible:bool ->
+    ?justification:GtkEnums.justification ->
+    ?wrap_mode:GtkEnums.wrap_mode ->
+    ?border_width:int ->
+    ?width:int ->
+    ?height:int ->
+    ?packing:(GObj.widget -> unit) ->
+    ?show:bool ->
+    unit ->
+  undoable_view
 
 
-- 
cgit v1.2.3