SOURCES: coq-lablgtk26.patch (NEW) - fix building with lablgtk2 2.6
baggins
baggins at pld-linux.org
Sat Dec 10 02:47:04 CET 2005
Author: baggins Date: Sat Dec 10 01:47:04 2005 GMT
Module: SOURCES Tag: HEAD
---- Log message:
- fix building with lablgtk2 2.6
---- Files affected:
SOURCES:
coq-lablgtk26.patch (NONE -> 1.1) (NEW)
---- Diffs:
================================================================
Index: SOURCES/coq-lablgtk26.patch
diff -u /dev/null SOURCES/coq-lablgtk26.patch:1.1
--- /dev/null Sat Dec 10 02:47:04 2005
+++ SOURCES/coq-lablgtk26.patch Sat Dec 10 02:46:59 2005
@@ -0,0 +1,22 @@
+--- coq-8.0pl2/ide/undo.mli~ 2005-12-10 02:08:33.000000000 +0100
++++ coq-8.0pl2/ide/undo.mli 2005-12-10 02:27:05.083226000 +0100
+@@ -10,7 +10,7 @@
+
+ (* An undoable view class *)
+
+-class undoable_view : Gtk.text_view Gtk.obj ->
++class undoable_view : [> Gtk.text_view] Gtk.obj ->
+ object
+ inherit GText.view
+ method undo : bool
+--- coq-8.0pl2/ide/undo.ml~ 2005-12-10 02:25:40.000000000 +0100
++++ coq-8.0pl2/ide/undo.ml 2005-12-10 02:26:07.331616750 +0100
+@@ -18,7 +18,7 @@
+ | Insert (s,i,l) -> Delete (s,i,l)
+ | Delete (s,i,l) -> Insert (s,i,l)
+
+-class undoable_view (tv:Gtk.text_view Gtk.obj) =
++class undoable_view (tv:[> Gtk.text_view] Gtk.obj) =
+ let undo_lock = ref true in
+ object(self)
+ inherit GText.view tv as super
================================================================
More information about the pld-cvs-commit
mailing list