1 --- coq-8.0pl2/ide/undo.mli~ 2005-12-10 02:08:33.000000000 +0100
2 +++ coq-8.0pl2/ide/undo.mli 2005-12-10 02:27:05.083226000 +0100
5 (* An undoable view class *)
7 -class undoable_view : Gtk.text_view Gtk.obj ->
8 +class undoable_view : [> Gtk.text_view] Gtk.obj ->
12 --- coq-8.0pl2/ide/undo.ml~ 2005-12-10 02:25:40.000000000 +0100
13 +++ coq-8.0pl2/ide/undo.ml 2005-12-10 02:26:07.331616750 +0100
15 | Insert (s,i,l) -> Delete (s,i,l)
16 | Delete (s,i,l) -> Insert (s,i,l)
18 -class undoable_view (tv:Gtk.text_view Gtk.obj) =
19 +class undoable_view (tv:[> Gtk.text_view] Gtk.obj) =
20 let undo_lock = ref true in
22 inherit GText.view tv as super