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
|
Wed, 30 Nov 2016 10:54:16 +0000 |
Chris Cannam |
Always accept wheel events
3.0-integration
|