| Fri, 16 Dec 2016 16:29:53 +0000 |
Chris Cannam |
Support mouse wheel on level-pan tool button
levelpanwidget
|
| Thu, 15 Dec 2016 14:39:52 +0000 |
Chris Cannam |
Tool tips
levelpanwidget
|
| 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
|
