I couldn’t find any documentation for Menu.getApplicationMenu().
getApplicationMenu() is the only way I’ve found to access the main application menu after it’s been set so I can change menu items (e.g. changing the ‘disabled’ property).
It works as expected. I was just a little concerned that it’s undocumented. Is there some reason why I shouldn’t be using it, or is this simply a documentation omission?