+2005-07-17 Martin Vermeer <martin.vermeer@hut.fi>
+
+ * text2.C: fix counter update for DEPM problem reported by
+ Georg Baum
+
2005-07-17 Juergen Vigna <jug@lyx.org>
* BufferView_pimpl.C (setBuffer): save/restore the
* buffer.C (saveCursor): add saveDocumentIterators to save the
cursor when switching buffer.
-
2005-07-17 Michael Schmitt <michqel.schmitt@teststep.org>
* debug.C: fix typo
}
}
- if (deleted)
+ if (deleted) {
+ updateCounters(cur.buffer());
return true;
+ }
if (pars_[old.pit()].stripLeadingSpaces())
cur.resetAnchor();