-
- // 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()->putSelectionAt(dit, range, false);
- // FIXME: If we used an LFUN, we would not need this line:
- bufferview()->processUpdateFlags(Update::Force | Update::FitCursor);