We are aware of this intermittent problem and are trying to reproduce it reliably so that we can fix it. We believe it is possibly related to the intermittent crash that some Mac users experience when switching mode in the Dorico project window, which is also ultimately concerned with updating menus and shortcuts. These are among the most stubborn and mysterious bugs we’ve encountered in the whole time we have been developing Dorico, and unfortunately at the moment we don’t have a solution for either. We continue to work on them.