notifyCursorLeave can delete empty insets in mathed.
Fixes bug #10022.
if (!inset || !cur.result().dispatched())
cur.dispatch(cmd);
if (!inset || !cur.result().dispatched())
cur.dispatch(cmd);
// Notify left insets
if (cur != old) {
bool badcursor = old.fixIfBroken() | cur.fixIfBroken();
// Notify left insets
if (cur != old) {
bool badcursor = old.fixIfBroken() | cur.fixIfBroken();
cursor().fixIfBroken();
}
cursor().fixIfBroken();
}
// Do we have a selection?
theSelection().haveSelection(cursor().selection());
// Do we have a selection?
theSelection().haveSelection(cursor().selection());