diff icons/zoom-reset.png @ 448:54f3f0f29c95 toggle

Hide and restore menus that are not needed in minimal mode
author Chris Cannam
date Fri, 24 Jun 2011 11:52:30 +0100 (2011-06-24)
parents 4ba091beade5
children
line wrap: on
line diff