Round values properly when drawing right margin selection

This fixes a compiler warning reported by Uwe.
(cherry picked from commit 75fce32556)
This commit is contained in:
Jean-Marc Lasgouttes 2016-11-04 15:57:59 +01:00
parent 3372c0cf55
commit 6ab1f79b7c

View File

@ -694,7 +694,8 @@ void RowPainter::paintSelection() const
}
if (rtl ? row_.begin_margin_sel : row_.end_margin_sel)
pi_.pain.fillRectangle(x, y1, int(xo_) + text_metrics_.width() - x, y2 - y1,
pi_.pain.fillRectangle(int(x), y1,
int(xo_ + text_metrics_.width()) - int(x), y2 - y1,
Color_selection);
}