must be getting old, making the text bigger…
one show_menu function is enough
use partial more, copy-to-clipboard on double click, dock widget setup
handle not-a-str-data better, cleaner way to set new result
default sizes are handled in app.py
I wanted line numbers...
Is it unreasonable to expect that to be a built-in feature of a PlainTextEdit?