From 1c1094bcafbacd90cd65d435d71b1b1dd2135d2e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Thu, 7 Apr 2011 21:41:07 +0000 Subject: [PATCH] - updated to 8.3pl1 Changed files: coq-lablgtk2.patch -> 1.2 --- coq-lablgtk2.patch | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/coq-lablgtk2.patch b/coq-lablgtk2.patch index dcfc397..e198ec3 100644 --- a/coq-lablgtk2.patch +++ b/coq-lablgtk2.patch @@ -27,12 +27,16 @@ elif [ "$coqide_spec" = "yes" -a "$COQIDE" = "byte" ]; then echo "LablGtk2 found, bytecode CoqIde will be used as requested." COQIDE=byte -@@ -855,11 +852,7 @@ +@@ -855,15 +852,7 @@ #################################################### if [ ! "$COQIDE" = "no" ]; then - if grep "class view " "$lablgtkdir/gText.mli" | grep -q "\[>" ; then - cp -f ide/undo_lablgtk_ge26.mli ide/undo.mli +- if grep -q "?accepts_tab:bool" "$lablgtkdir/gText.mli" ; then + cp -f ide/undo_lablgtk_ge212.mli ide/undo.mli +- else +- cp -f ide/undo_lablgtk_ge26.mli ide/undo.mli +- fi - else - cp -f ide/undo_lablgtk_lt26.mli ide/undo.mli - fi -- 2.43.0