err.pos_start > err.pos_end such that range == 0 and nothing
gets highlighted, even if the paragraph id is correct.
In this case, it is better to highlight everything.
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@37586
a592a061-630c-0410-9148-
cb99ea01b6c8
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;
+ pos_type const range = end == start ? s - start : end - start;
dit.pos() = start;
BufferView * bv = const_cast<BufferView *>(bufferview());
// FIXME LFUN