return false;
}
+ // Don't try to highlight the content of info insets
+ while (dit.inset().lyxCode() == INFO_CODE)
+ dit.forwardPos();
+
+ // If this paragraph is empty, highlight the previous one
+ while (dit.paragraph().empty())
+ dit.backwardPos();
+
// Now make the selection.
// if pos_end is 0, this means it is end-of-paragraph
pos_type const s = dit.paragraph().size();