From 0dceac6288ce1c045026a6cd4fa88592374f3e5b Mon Sep 17 00:00:00 2001
From: Richard Heck <rgheck@lyx.org>
Date: Tue, 26 Jul 2016 13:33:41 -0400
Subject: [PATCH] orig_x can and so prsumably should be a double.

---
 src/RowPainter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp
index fdd79240b4..ae7ed4ddab 100644
--- a/src/RowPainter.cpp
+++ b/src/RowPainter.cpp
@@ -587,7 +587,7 @@ void RowPainter::paintOnlyInsets()
 				x_ += e.full_width();
 				continue;
 			}
-			int orig_x = x_;
+			double orig_x = x_;
 			paintInset(e.inset, e.font, e.change, e.pos);
 			// The line that indicates word in a different language
 			paintForeignMark(orig_x, e.font.language(), e.dim.descent());