in pyqt5 the status bar has a gradient, looking a bit out of place.
fixes for pyqt5 switch, python3 switch and dynamic detail views.
move font settings to app.css (and solarize it, yay)
DRY some code
missed these earlier
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?
remove debug prints
remove debug print
remove attribute, use alias property. fix broken code.
add error handling and feedback.
save and restore detail_docks.
update requirements
Merge branch 'feature/pyqt5' into develop