From 6ab1f79b7c6ac306c3901ef570fe2077e6b49206 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Fri, 4 Nov 2016 15:57:59 +0100
Subject: [PATCH] Round values properly when drawing right margin selection

This fixes a compiler warning reported by Uwe.
(cherry picked from commit 75fce32556d2ec3da37acf96e4bafd23b5e5609a)
---
 src/RowPainter.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp
index ac3e823013..17f148ed68 100644
--- a/src/RowPainter.cpp
+++ b/src/RowPainter.cpp
@@ -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);
 
 }
-- 
2.39.5