]>
Commit | Line | Data |
---|---|---|
38cacf12 JR |
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 | |
3 | @@ -10,7 +10,7 @@ | |
4 | ||
5 | (* An undoable view class *) | |
6 | ||
7 | -class undoable_view : Gtk.text_view Gtk.obj -> | |
8 | +class undoable_view : [> Gtk.text_view] Gtk.obj -> | |
9 | object | |
10 | inherit GText.view | |
11 | method undo : bool | |
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 | |
14 | @@ -18,7 +18,7 @@ | |
15 | | Insert (s,i,l) -> Delete (s,i,l) | |
16 | | Delete (s,i,l) -> Insert (s,i,l) | |
17 | ||
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 | |
21 | object(self) | |
22 | inherit GText.view tv as super |