anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2025-01-22 07:42:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

rowpainter.cpp: forgot these changes in r35283

Browse Source 
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@35284 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Uwe Stöhr 2010-09-05 14:56:07 +00:00
parent f01e36b646
commit 0be0823505
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/rowpainter.cpp
View File

@ -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();
}
}