#include "frontends/FontMetrics.h"
#include "frontends/Painter.h"
+#include "frontends/Selection.h"
#include "insets/insettext.h"
#include "insets/insetbibitem.h"
pars_[next_par].applyLayout(tclass.defaultLayout());
}
- while (!pars_[next_par].empty() && pars_[next_par].isNewline(0))
- pars_[next_par].eraseChar(0, cur.buffer().params().trackChanges);
+ while (!pars_[next_par].empty() && pars_[next_par].isNewline(0)) {
+ if (!pars_[next_par].eraseChar(0, cur.buffer().params().trackChanges))
+ break; // the character couldn't be deleted physically due to change tracking
+ }
ParIterator current_it(cur);
ParIterator last_it(cur);
cur.resetAnchor();
setCursor(cur, to.pit(), to.pos());
cur.setSelection();
+ theSelection().haveSelection(cur.selection());
}
for (; pit <= et.pit(); ++pit) {
pos_type left = (pit == it.pit() ? it.pos() : 0);
pos_type right = (pit == et.pit() ? et.pos() : pars_[pit].size());
- pars_[pit].acceptChanges(left, right);
- // handle imaginary end-of-par character
+ // handle imaginary end-of-par character first
if (right == pars_[pit].size() && !pars_[pit].isUnchanged(right)) {
if (pars_[pit].isInserted(right)) {
pars_[pit].setChange(right, Change(Change::UNCHANGED));
// }
}
}
+
+ pars_[pit].acceptChanges(left, right);
}
finishUndo();
cur.clearSelection();
for (; pit <= et.pit(); ++pit) {
pos_type left = (pit == it.pit() ? it.pos() : 0);
pos_type right = (pit == et.pit() ? et.pos() : pars_[pit].size());
- pars_[pit].rejectChanges(left, right);
- // handle imaginary end-of-par character
+ // handle imaginary end-of-par character first
if (right == pars_[pit].size() && !pars_[pit].isUnchanged(right)) {
if (pars_[pit].isDeleted(right)) {
pars_[pit].setChange(right, Change(Change::UNCHANGED));
// }
}
}
+
+ pars_[pit].rejectChanges(left, right);
}
finishUndo();
cur.clearSelection();