orig_x can and so prsumably should be a double.

diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp
index fdd79240b4703471e65794eeef259cc436015d31..ae7ed4ddab144adafed80ee111a8621dba938939 100644 (file)
--- 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());