diff icons/fader_knob_red.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
parents 40116f709d3b
children
line wrap: on
line diff