diff widgets/Fader.h @ 1377:d18ca558049e

Use label of property for tooltip, not just id of it
author Chris Cannam
date Tue, 06 Nov 2018 13:34:56 +0000
parents 1fe7951a61e8
children a18e78b9c78b
line wrap: on
line diff