Mon, 21 May 2018 16:15:36 +0100 |
Chris Cannam |
Toward more than one plugin type in this widget
plugin-path-config
|
Tue, 15 May 2018 15:25:04 +0100 |
Chris Cannam |
Grey-out meaningless buttons
plugin-path-config
|
Tue, 15 May 2018 13:56:26 +0100 |
Chris Cannam |
Better editing mechanism
plugin-path-config
|
Tue, 15 May 2018 11:18:07 +0100 |
Chris Cannam |
Up/down
plugin-path-config
|
Fri, 11 May 2018 16:59:14 +0100 |
Chris Cannam |
Toward allowing the user to see (at least, and maybe change) the plugin path
plugin-path-config
|
Tue, 08 May 2018 14:27:54 +0100 |
Chris Cannam |
Hack to ensure vertical scale lines are in the right place in pixel-doubling rendering
|
Tue, 08 May 2018 14:07:22 +0100 |
Chris Cannam |
Tidy
|