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

diff --git a/src/rowpainter.cpp b/src/rowpainter.cpp
index bfc3ea9c839f5b35ac21cfa2242667cfd0797fc3..f767924dbe12897299dec821e4a460926d503f60 100644 (file)
--- a/src/rowpainter.cpp
+++ b/src/rowpainter.cpp
@@ -330,7 +330,7 @@ void RowPainter::paintForeignMark(double orig_x, Language const * lang,
 void RowPainter::paintMisspelledMark(double orig_x, int 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());
 
        if (lyxrc.spellcheck_continuously && orig_font.isMisspelled())
-               paintMisspelledMark(orig_x, 3);
+               paintMisspelledMark(orig_x, 2);
 }