From 86aa65210be5aca8aeb7e6fe89c5d3bab0eb0994 Mon Sep 17 00:00:00 2001
From: Corran Webster <cwebster@enthought.com>
Date: Fri, 11 Nov 2022 16:10:48 +0000
Subject: [PATCH] Explicitly convert float to int. (#1176)

---
 pyface/ui/qt4/code_editor/gutters.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pyface/ui/qt4/code_editor/gutters.py b/pyface/ui/qt4/code_editor/gutters.py
index 6b74790d9..197bbd11a 100644
--- a/pyface/ui/qt4/code_editor/gutters.py
+++ b/pyface/ui/qt4/code_editor/gutters.py
@@ -133,7 +133,7 @@ def paintEvent(self, event):
             if block.isVisible() and bottom >= event.rect().top():
                 painter.drawText(
                     0,
-                    top,
+                    int(top),
                     self.width() - 2,
                     self.fontMetrics().height(),
                     QtCore.Qt.AlignmentFlag.AlignRight,