Appmenu retirement
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.
Edited by Robert Roth