comparison widgets/WidgetScale.h @ 1287:2dd7f764c3a6 plugin-path-config

Better editing mechanism
author Chris Cannam
date Tue, 15 May 2018 13:56:26 +0100
parents be5e43e2180c
children e7c9650e74a7
comparison
equal deleted inserted replaced
1286:e327bbf4bf57 1287:2dd7f764c3a6