Provide menu for changing UI settings

Open dominikh opened this issue 3 years ago • 1 comments

Implement a popup windows that can be used to customize UI settings. e.g. instead of needing different shortcuts for toggling labels, compact mode, tooltips etc, have one shortcut that opens a menu that allows toggling these features.

Sep 16 '22 22:09 dominikh

We have a traditional application menu for this now. We'll have to see if UI settings get changed often enough to justify a more custom approach.

Oct 15 '22 16:10 dominikh