it->getLabelList(*buffer(), labels);
if (find(labels.begin(),labels.end(),label) != labels.end()) {
cursor().clearSelection();
- text()->setCursor(cursor(), it.par(), it.pos());
+ text()->setCursor(cursor(), it.pit(), it.pos());
cursor().resetAnchor();
update();
return;
}
-Language const * BufferView::getParentLanguage(InsetOld * inset) const
-{
- Paragraph const & par = ownerPar(*buffer(), inset);
- return par.getFontSettings(buffer()->params(),
- par.getPositionOfInset(inset)).language();
-}
-
-
void BufferView::haveSelection(bool sel)
{
pimpl_->workarea().haveSelection(sel);
cursor().setCursor(makeDocIterator(par, pos));
cursor().selection() = false;
- par.bottom().text()->redoParagraph(par.bottom().par());
+ par.bottom().text()->redoParagraph(par.bottom().pit());
}
if (length) {
if (backwards) {
+ cursor().pos() += length;
cursor().setSelection(cursor(), -length);
- DocIterator const it = cursor();
- cursor().setCursor(cursor().anchor_);
- cursor().selection() = true;
- cursor().anchor_ = it;
} else
cursor().setSelection(cursor(), length);
}