coqide: le undo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3746 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 17 insertions, 0 deletions

diff --git a/ide/undo.mli b/ide/undo.mli
new file mode 100644
index 000000000..36700f396
--- /dev/null
+++ b/ide/undo.mli
@@ -0,0 +1,17 @@
+(* An undoable view class *)
+
+class undoable_view : Gtk.textview Gtk.obj ->
+object
+  inherit GText.view
+  method undo : bool
+  method redo : bool
+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
+
+