diff --git a/src/gui_qt/lib/codeeditor.py b/src/gui_qt/lib/codeeditor.py index 245a9e1..1b80d4d 100644 --- 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()