log

age author description
Tue, 06 Dec 2016 09:47:27 +0000 Chris Cannam Some work on play parameters and level controls in property box levelpanwidget
Tue, 06 Dec 2016 09:20:10 +0000 Chris Cannam Switch to level-pan tool button in property box levelpanwidget
Mon, 05 Dec 2016 17:13:01 +0000 Chris Cannam Introduce level-pan widget to property box levelpanwidget
Mon, 05 Dec 2016 15:47:32 +0000 Chris Cannam Add monitoring to level-pan widget (though not well, yet) levelpanwidget
Mon, 05 Dec 2016 14:51:25 +0000 Chris Cannam Another use of WidgetScale more-hidpi
Mon, 05 Dec 2016 14:31:53 +0000 Chris Cannam Some icon updates more-hidpi
Mon, 05 Dec 2016 12:04:23 +0000 Chris Cannam Scale the sizes of a few more UI elements more-hidpi
Wed, 30 Nov 2016 11:01:39 +0000 Chris Cannam Bigger colour swatches for bigger fonts 3.0-integration