anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-09 18:31:04 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix assertion when ChkTeX hit math.

Browse Source 
The problem here was that we used texted-only methods (via paragraph()), which triggered the assertion as soon as we were inside math.

Fixes: #8798
This commit is contained in:
Juergen Spitzmueller 2014-03-22 12:09:18 +01:00
parent aceb9d9f29
commit 0cad43a114
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/BufferView.cpp
View File

@ -62,6 +62,8 @@
#include "insets/InsetRef.h" #include "insets/InsetRef.h"
#include "insets/InsetText.h" #include "insets/InsetText.h"
#include "mathed/MathData.h"
#include "frontends/alert.h" #include "frontends/alert.h"
#include "frontends/Application.h" #include "frontends/Application.h"
#include "frontends/Delegates.h" #include "frontends/Delegates.h"
@ -2460,7 +2462,8 @@ void BufferView::putSelectionAt(DocIterator const & cur,
bool BufferView::selectIfEmpty(DocIterator & cur) bool BufferView::selectIfEmpty(DocIterator & cur)
{ {
if (!cur.paragraph().empty()) if ((cur.inTexted() && !cur.paragraph().empty())
|| cur.inMathed() && !cur.cell().empty())
return false; return false;
pit_type const beg_pit = cur.pit(); pit_type const beg_pit = cur.pit();

2
src/frontends/qt4/GuiErrorList.cpp
View File

@ -188,7 +188,7 @@ bool GuiErrorList::goTo(int item)
return false; return false;
} }
// if pos_end is 0, this means it is end-of-paragraph // 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 end = err.pos_end ? min(err.pos_end, s) : s;
pos_type const start = min(err.pos_start, end); pos_type const start = min(err.pos_start, end);
pos_type const range = end == start ? s - start : end - start; pos_type const range = end == start ? s - start : end - start;