return false;
}
- // Don't try to highlight the content of info insets
- while (dit.inset().lyxCode() == INFO_CODE)
+ // Don't try to highlight the content of non-editable insets
+ while (!dit.inset().editable())
dit.backwardPos();
// Now make the selection.
return false;
}
// if pos_end is 0, this means it is end-of-paragraph
- pos_type const s = dit.paragraph().size();
+ pos_type const s = dit.lastpos();
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 ? s - start : end - start;