From 5c891242f3828453ce6843704334284a867b5262 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Sat, 16 Jan 2016 16:44:26 +0100 Subject: [PATCH] Don't merge next paragraph when removing a separator inset --- src/Text3.cpp | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/src/Text3.cpp b/src/Text3.cpp index 1fa3c06f48..fbcd9b7206 100644 --- a/src/Text3.cpp +++ b/src/Text3.cpp @@ -1048,22 +1048,11 @@ void Text::dispatch(Cursor & cur, FuncRequest & cmd) case LFUN_CHAR_DELETE_FORWARD: if (!cur.selection()) { - bool was_separator = cur.paragraph().isEnvSeparator(cur.pos()); if (cur.pos() == cur.paragraph().size()) // Par boundary, force full-screen update singleParUpdate = false; needsUpdate |= erase(cur); cur.resetAnchor(); - if (was_separator && cur.pos() == cur.paragraph().size() - && (!cur.paragraph().layout().isEnvironment() - || cur.paragraph().size() > 0)) { - // Force full-screen update - singleParUpdate = false; - needsUpdate |= erase(cur); - cur.resetAnchor(); - } - // It is possible to make it a lot faster still - // just comment out the line below... } else { cutSelection(cur, true, false); singleParUpdate = false;