From ec8fafcc9c90445ef9a09a71249946ef6de9bb37 Mon Sep 17 00:00:00 2001 From: Dominik Demuth Date: Sat, 5 Aug 2023 15:31:17 +0200 Subject: [PATCH] correct type for linenumbers in codeeditor --- src/gui_qt/lib/codeeditor.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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()