Skip to content

More Preferences dialog cleanups

Remove or replace deprecated widgets. No functional changes were (meant to be?) introduced.

The branch is maybe too split, I think changes to .ui files are easier to review when done like this, but please let me know if you prefer me to squash some commits together.

Merge request reports