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