Revert 6bd9f885

Sorry, I was wrong. That code is still needed.
Proper fix for #9602 is on its way.

diff --git a/src/Text3.cpp b/src/Text3.cpp
index 9bd95cc05a31121308f9758cecfb1a2126dfd9d9..3a93ed23d59cb74ef745d3a6bc5d6fa2078706f0 100644 (file)
--- a/src/Text3.cpp
+++ b/src/Text3.cpp
@@ -1071,11 +1071,17 @@ void Text::dispatch(Cursor & cur, FuncRequest & cmd)
        case LFUN_CHAR_DELETE_BACKWARD:
                if (!cur.selection()) {
                        if (bv->getIntl().getTransManager().backspace()) {
+                               bool par_boundary = cur.pos() == 0;
                                // Par boundary, full-screen update
-                               if (cur.pos() == 0)
+                               if (par_boundary)
                                        singleParUpdate = false;
                                needsUpdate |= backspace(cur);
                                cur.resetAnchor();
+                               if (par_boundary && cur.pos() > 0
+                                   && cur.paragraph().isEnvSeparator(cur.pos() - 1)) {
+                                       needsUpdate |= backspace(cur);
+                                       cur.resetAnchor();
+                               }
                        }
                } else {
                        cutSelection(cur, true, false);