// return;
if (e.font.language() == latex_language)
return;
- if (!e.font.fontInfo().nospellcheck())
+ if (e.font.fontInfo().nospellcheck() != FONT_ON)
return;
+ // We at the same voffset than the misspelled mark, since
+ // these two are mutually exclusive
int const desc = e.inset ? e.dim.descent() : 0;
- int const y = yo_ + pi_.base.solidLineOffset()
- + desc + pi_.base.solidLineThickness() / 2;
+ int const y = yo_ + pi_.base.solidLineOffset() + desc
+ + pi_.base.solidLineThickness()
+ + (e.change.changed() ? pi_.base.solidLineThickness() + 1 : 0)
+ + 1;
pi_.pain.line(int(x_), y, int(x_ + e.full_width()), y, Color_language,
Painter::line_onoffdash, pi_.base.solidLineThickness());
}
void RowPainter::paintMisspelledMark(Row::Element const & e) const
{
+ if (e.font.fontInfo().nospellcheck() == FONT_ON)
+ return;
// if changed the misspelled marker gets placed slightly lower than normal
// to avoid drawing at the same vertical offset
FontMetrics const & fm = theFontMetrics(e.font);