Trilarion opened this issue 6 years ago · 2 comments
It might be nice to have line numbers. But it's not top priority right now.
See also: https://doc.qt.io/qt-5/qtwidgets-widgets-codeeditor-example.html or https://stackoverflow.com/questions/2443358/how-to-add-lines-numbers-to-qtextedit
Is included now.