replaceSelection(cur);
if (sel.empty()) {
replaceSelection(cur);
if (sel.empty()) {
+ //const int old_pos = cur.pos();
cur.insert(new InsetMathHull(hullSimple));
cur.insert(new InsetMathHull(hullSimple));
- BOOST_ASSERT(old_pos == cur.pos());
+ //BOOST_ASSERT(old_pos == cur.pos());
cur.nextInset()->edit(cur, true);
// don't do that also for LFUN_MATH_MODE
// unless you want end up with always changing
cur.nextInset()->edit(cur, true);
// don't do that also for LFUN_MATH_MODE
// unless you want end up with always changing