| 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
|
| Wed, 25 Mar 2015 11:27:46 +0000 |
Chris Cannam |
Render direct to widget (necessary to avoid pixel doubling on OS/X)
tonioni
|
