Options Menus interface bug: Several options are highlighted at once

[hildemann]

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.
Examples:
Layout Options: Staff Visibility - Hide empty staves

Notation Options: Note Groupings

[Derrek]

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

[dspreadbury]

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