correct type for linenumbers in codeeditor

2023-08-05 15:31:17 +02:00 · 2023-08-05 15:31:17 +02:00 · ec8fafcc9c
commit ec8fafcc9c
parent 258922772e
1 changed files with 1 additions and 1 deletions
--- a/src/gui_qt/lib/codeeditor.py
+++ b/src/gui_qt/lib/codeeditor.py
@ -237,7 +237,7 @@ class CodeEditor(QtWidgets.QPlainTextEdit):
            if block.isVisible() and (bottom >= evt.rect().top()):
                number = str(block_number + 1)
                painter.setPen(QtCore.Qt.black)
-                painter.drawText(0, top, self.current_linenumber.width() - 3, height,
+                painter.drawText(0, int(top), self.current_linenumber.width() - 3, height,
                                 QtCore.Qt.AlignRight, number)

            block = block.next()