]> git.pld-linux.org Git - packages/coq.git/blob - coq-lablgtk26.patch
- tabs in preamble
[packages/coq.git] / coq-lablgtk26.patch
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
This page took 0.110354 seconds and 3 git commands to generate.