log

age author description
Thu, 15 Dec 2016 11:53:52 +0000 Chris Cannam As NotifyingPushButton, but a ToolButton levelpanwidget
Thu, 15 Dec 2016 10:36:41 +0000 Chris Cannam Moving around some UI bits levelpanwidget
Wed, 14 Dec 2016 14:28:41 +0000 Chris Cannam Merge from branch 3.0-integration levelpanwidget