void LCursor::pop()
{
- BOOST_ASSERT(!data_.empty());
- data_.pop_back();
+ //BOOST_ASSERT(!data_.empty());
+ if (data_.empty())
+ lyxerr << "### TRYING TO POP FROM EMPTY CURSOR" << endl;
+ else
+ data_.pop_back();
}
#include "bufferparams.h"
#include "BufferView.h"
#include "CutAndPaste.h"
+#include "cursor.h"
#include "debug.h"
#include "dispatchresult.h"
#include "errorlist.h"
if (result.val() >= FINISHED) {
updateLocal(bv, false);
bv->unlockInset(this);
+ bv->cursor().pop();
}
break;
case FINISHED_DOWN:
if (result.val() >= FINISHED) {
updateLocal(bv, false);
bv->unlockInset(this);
+ bv->cursor().pop();
}
break;
default:
if (result.val() >= FINISHED) {
result.val(NONE);
bv->unlockInset(this);
+ bv->cursor().pop();
}
return result;