<< ", max is " << copy.lastidx()
<< " at level " << copy.depth()
<< ". Trying to correct this." << endl;
+ lyxerr << "old: " << *this << endl;
newdepth = copy.depth() - 1;
}
else if (copy.pit() > copy.lastpit()) {
<< ", max is " << copy.lastpit()
<< " at level " << copy.depth()
<< ". Trying to correct this." << endl;
+ lyxerr << "old: " << *this << endl;
newdepth = copy.depth() - 1;
}
else if (copy.pos() > copy.lastpos()) {
<< ", max is " << copy.lastpos()
<< " at level " << copy.depth()
<< ". Trying to correct this." << endl;
+ lyxerr << "old: " << *this << endl;
newdepth = copy.depth() - 1;
}
copy.pop();
while (depth() > newdepth) {
pop();
lyxerr << "correcting cursor to level " << depth() << endl;
+ lyxerr << "new: " << *this << endl;
+ clearSelection();
}
}