Options Menus interface bug: Several options are highlighted at once

Hi! Sorry if this has already been reported. Just wanted to report a little interface glitch I experience in Dorico 5 on my M1 Mac Mini:
When selecting some options in the Layout Options or Notation Options Menu, selecting a new option doesn’t cause the other option to get unhighlighted, causing the interface to falsely suggest that all options are acticated at the same time.
Layout Options: Staff Visibility - Hide empty staves

Notation Options: Note Groupings

1 Like

I think this has been spotted.
It’s very disconcerting.

It has been reported, yes, and it will be fixed in the next update, when it comes.