log

age author description
Thu, 15 Dec 2016 11:54:12 +0000 Chris Cannam Make play params area of property box look a bit better on OSX levelpanwidget
Thu, 15 Dec 2016 11:53:52 +0000 Chris Cannam As NotifyingPushButton, but a ToolButton levelpanwidget