As part of the app menu retirement initiative, we're changing the format of a few standard menu items. For mines, this would mean:
- Remove the Quit menu item
- Change About menu item to About Mines
- Items from the AppMenu should be moved to a menubutton with hamburger icon aligned to the end of the headerbar
Design guidelines can be found on the initiative wiki page.