The menu now behaves properly when scaled via Ctrl+Shift++, Ctrl+-, and Ctrl+0. The scale factor is saved to and loaded from config.json. It's still a somewhat hidden feature, but once we have a general settings UI, this can be exposed via slider in the UI.
The menu now behaves properly when scaled via Ctrl+Shift++, Ctrl+-, and Ctrl+0. The scale factor is saved to and loaded from
config.json. It's still a somewhat hidden feature, but once we have a general settings UI, this can be exposed via slider in the UI.This resolves #490.