Replace ugly wavy line with a dotted line for misspelled words.

I hope this one is not going to be controversial.


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@35094 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Jean-Marc Lasgouttes 2010-08-08 17:41:28 +00:00
parent fde0a4bb26
commit a2230142fa

View File

@ -330,7 +330,7 @@ void RowPainter::paintForeignMark(double orig_x, Language const * lang,
void RowPainter::paintMisspelledMark(double orig_x, int desc) void RowPainter::paintMisspelledMark(double orig_x, int desc)
{ {
int const y = yo_ + desc; int const y = yo_ + desc;
pi_.pain.wavyHorizontalLine(int(orig_x), y, int(x_) - int(orig_x), Color_red); pi_.pain.line(int(orig_x), y, int(x_), y, Color_red, Painter::line_onoffdash, Painter::line_thin);
} }
@ -363,7 +363,7 @@ void RowPainter::paintFromPos(pos_type & vpos)
paintForeignMark(orig_x, orig_font.language()); paintForeignMark(orig_x, orig_font.language());
if (lyxrc.spellcheck_continuously && orig_font.isMisspelled()) if (lyxrc.spellcheck_continuously && orig_font.isMisspelled())
paintMisspelledMark(orig_x, 3); paintMisspelledMark(orig_x, 2);
} }