Thu, 15 Dec 2016 10:36:41 +0000 |
Chris Cannam |
Moving around some UI bits
levelpanwidget
|
Tue, 06 Dec 2016 09:47:27 +0000 |
Chris Cannam |
Some work on play parameters and level controls in property box
levelpanwidget
|
Tue, 31 Mar 2015 14:46:32 +0100 |
Chris Cannam |
Allow setting big-image size directly
tonioni
|
Tue, 31 Mar 2015 14:05:39 +0100 |
Chris Cannam |
LevelPanWidget alternative without including muting
tonioni
|
Mon, 30 Mar 2015 14:28:04 +0100 |
Chris Cannam |
Experiment with simple button logic for LevelPanWidget (separating out playback toggle again)
tonioni
|
Wed, 25 Mar 2015 11:48:33 +0000 |
Chris Cannam |
Fix possible excess image size
tonioni
|
Wed, 25 Mar 2015 11:41:17 +0000 |
Chris Cannam |
Fixes to enabled/disabled state in level-pan tool button
tonioni
|