http://bugzilla.lyx.org/show_bug.cgi?id=3961
I intend to commit the attached patch (reviewed by Michael and tested by Uwe)
to branch and trunk.
Objections?
Jürgen
Index: src/Text2.cpp
===================================================================
--- src/Text2.cpp (Revision 19883)
+++ src/Text2.cpp (Arbeitskopie)
@@ -1148,7 +1148,8 @@
&& old.pos() < oldpar.size()
&& oldpar.isLineSeparator(old.pos())
&& oldpar.isLineSeparator(old.pos() - 1)
- && !oldpar.isDeleted(old.pos() - 1)) {
+ && !oldpar.isDeleted(old.pos() - 1)
+ && !oldpar.isDeleted(old.pos())) {
oldpar.eraseChar(old.pos() - 1, cur.buffer().params().trackChanges);
// FIXME: This will not work anymore when we have multiple views of the same buffer
// In this case, we will have to correct also the cursors held by
