Fix two warnings about conversion from double to int.

This commit is contained in:
Jean-Marc Lasgouttes 2015-01-11 17:13:36 +01:00
parent d4428ceb81
commit 6e519e7727

View File

@ -442,16 +442,16 @@ int RowPainter::paintAppendixStart(int y)
void RowPainter::paintTooLargeMarks(bool const left, bool const right)
{
if (left)
pi_.pain.line(dotted_line_thickness_, yo_ - row_.ascent(),
dotted_line_thickness_, yo_ + row_.descent(),
Color_scroll,
Painter::line_onoffdash, dotted_line_thickness_);
pi_.pain.line(int(dotted_line_thickness_), yo_ - row_.ascent(),
int(dotted_line_thickness_), yo_ + row_.descent(),
Color_scroll,
Painter::line_onoffdash, dotted_line_thickness_);
if (right) {
int const wwidth = pi_.base.bv->workWidth() - dotted_line_thickness_;
int const wwidth = pi_.base.bv->workWidth() - int(dotted_line_thickness_);
pi_.pain.line(wwidth, yo_ - row_.ascent(),
wwidth, yo_ + row_.descent(),
Color_scroll,
Painter::line_onoffdash, dotted_line_thickness_);
wwidth, yo_ + row_.descent(),
Color_scroll,
Painter::line_onoffdash, dotted_line_thickness_);
}
}