Menubar hiding, menu button on the toolbar
authorAndrew Chadwick <andrewc-git@piffle.org>
Mon, 22 Aug 2011 18:21:16 +0000 (19:21 +0100)
committerAndrew Chadwick <andrewc-git@piffle.org>
Mon, 22 Aug 2011 18:21:16 +0000 (19:21 +0100)
commit213c6beadbcdac8d3a6e98e92c25b24fc23c3638
treed772ac0c3cc08b65619909ffd67f8356142c0c87
parent8ae583e4679e08a291bf09ff15e48c1be6df35bc
Menubar hiding, menu button on the toolbar

To save vertical space, the menu bar can now be hidden in the same way
as the toolbar. When the menu bar is hidden, a menu button appears on
the toolbar. This is roughly the way newer Firefox versions do it.

The defaults are now to show the toolbar and its menu button, and hide
the menubar.
gui/application.py
gui/drawwindow.py
gui/menu.xml