After applying a new change in Preferences, the Dorico menus are hidden until the Preferences panel is closed.

After applying a new change in Preferences, the Dorico menus are hidden until the Preferences panel is closed.

This is a minor cosmetic issue, but it is nevertheless addressed in the forthcoming update.