+
+ // Now make the selection.
+ // if pos_end is 0, this means it is end-of-paragraph
+ pos_type const s = dit.paragraph().size();
+ pos_type const end = err.pos_end ? min(err.pos_end, s) : s;
+ pos_type const start = min(err.pos_start, end);
+ pos_type const range = end - start;
+ dit.pos() = start;
+ BufferView * bv = const_cast<BufferView *>(bufferview());
+ // FIXME: If we used an LFUN, we would not need this line:
+ bv->putSelectionAt(dit, range, false);
+ bv->processUpdateFlags(Update::Force | Update::FitCursor);
+ return true;