pit_type pit = cur.pit();
pos_type pos = cur.pos();
InsetText * target_inset = cur.inset().asInsetText();
pit_type pit = cur.pit();
pos_type pos = cur.pos();
InsetText * target_inset = cur.inset().asInsetText();
LASSERT(target_inset, return make_pair(PitPosPair(pit, pos), pit));
ParagraphList & pars = target_inset->paragraphs();
LASSERT(target_inset, return make_pair(PitPosPair(pit, pos), pit));
ParagraphList & pars = target_inset->paragraphs();
if (insertion[i].isNewline(j)) {
// do not track deletion of newline
insertion[i].eraseChar(j, false);
if (insertion[i].isNewline(j)) {
// do not track deletion of newline
insertion[i].eraseChar(j, false);