log

age author description
Mon, 05 Dec 2016 15:47:40 +0000 Chris Cannam Start incorporating level-pan widgets 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