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
|
Wed, 14 Dec 2016 11:56:47 +0000 |
Chris Cannam |
Minor debug tweaks
3.0-integration
|
Tue, 13 Dec 2016 16:23:48 +0000 |
Chris Cannam |
Fix some compiler problems
3.0-integration
|
Mon, 12 Dec 2016 15:18:52 +0000 |
Chris Cannam |
Some hackery toward having a zoomlevel type
zoom
|