Thu, 01 Mar 2018 18:02:22 +0000 |
Chris Cannam |
Untabify
|
Fri, 16 Dec 2016 16:29:53 +0000 |
Chris Cannam |
Support mouse wheel on level-pan tool button
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
|
Wed, 25 Mar 2015 11:41:17 +0000 |
Chris Cannam |
Fixes to enabled/disabled state in level-pan tool button
tonioni
|