diff widgets/WidgetScale.h @ 1188:9907be1c4f89 levelpanwidget

As NotifyingPushButton, but a ToolButton
author Chris Cannam
date Thu, 15 Dec 2016 11:53:52 +0000
parents 3f5c82034f9b
children be5e43e2180c
line wrap: on
line diff