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 ================================================================ _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
