Implement utility pane design
A utility pane[0] is a much more natural home for pitch and dot customisations, where they can always be displayed rather than hidden in a preferences dialog. Port to the new AdwOverlaySplitView
to enable this design. With this, customization settings can be moved out of the preferences dialog and into the new pane.
This leaves the exporter scale setting living alone in the preferences dialog, which looks quite odd. Move it to the primary menu and remove the separate dialog entirely.
Edited by Joshua Lee