From 0be0823505c9fc4b3ce31e06edd4adbf9556fb27 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20St=C3=B6hr?= Date: Sun, 5 Sep 2010 14:56:07 +0000 Subject: [PATCH] rowpainter.cpp: forgot these changes in r35283 git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@35284 a592a061-630c-0410-9148-cb99ea01b6c8 --- src/rowpainter.cpp | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/src/rowpainter.cpp b/src/rowpainter.cpp index ce4e4a8fd1..fc3bbff0d5 100644 --- a/src/rowpainter.cpp +++ b/src/rowpainter.cpp @@ -331,7 +331,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.line(int(orig_x), y, int(x_), y, Color_red, Painter::line_onoffdash, Painter::line_thin); + pi_.pain.line(int(orig_x), y, int(x_), y, Color_red, Painter::line_onoffdash, 0.5); } @@ -641,14 +641,14 @@ void RowPainter::paintLast() Color col = change.color(); pi_.pain.line(int(x_) + 1, yo_ + 2, int(x_) + 1, yo_ + 2 - length, col, - Painter::line_solid, Painter::line_thick); + Painter::line_solid, 3); if (change.deleted()) { pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1 + length, - yo_ + 2, col, Painter::line_solid, Painter::line_thick); + yo_ + 2, col, Painter::line_solid, 3); } else { pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1, - yo_ + 2, col, Painter::line_solid, Painter::line_thick); + yo_ + 2, col, Painter::line_solid, 3); } } @@ -821,8 +821,7 @@ void RowPainter::paintText() int const y_bar = change_running.deleted() ? yo_ - fm.maxAscent() / 3 : yo_ + fm.maxAscent() / 6; pi_.pain.line(change_last_x, y_bar, int(x_), y_bar, - change_running.color(), Painter::line_solid, - Painter::line_thin); + change_running.color(), Painter::line_solid, 0.5); // Change might continue with a different author or type if (change.changed() && !highly_editable_inset) { @@ -882,7 +881,7 @@ void RowPainter::paintText() int const y_bar = change_running.deleted() ? yo_ - fm.maxAscent() / 3 : yo_ + fm.maxAscent() / 6; pi_.pain.line(change_last_x, y_bar, int(x_), y_bar, - change_running.color(), Painter::line_solid, Painter::line_thin); + change_running.color(), Painter::line_solid, 0.5); change_running.setUnchanged(); } } -- 2.39.2