From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Fri, 4 Nov 2016 14:57:59 +0000 (+0100)
Subject: Round values properly when drawing right margin selection
X-Git-Tag: 2.3.0alpha1~767
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=75fce32556d2ec3da37acf96e4bafd23b5e5609a;p=features.git

Round values properly when drawing right margin selection

This fixes a compiler warning reported by Uwe.
---

diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp
index 7f8456f2f6..fabfcddf2a 100644
--- a/src/RowPainter.cpp
+++ b/src/RowPainter.cpp
@@ -652,7 +652,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);
 
 }