If a paragraph has zero size, highlight the previous one.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@37779 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Enrico Forestieri 2011-02-24 01:31:20 +00:00
parent 4397faba8f
commit 3891b7ae06

View File

@ -172,6 +172,10 @@ bool GuiErrorList::goTo(int item)
return false;
}
// This paragraph has zero size, so highlight the previous one
while (dit.paragraph().size() == 0)
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();