diff widgets/NotifyingPushButton.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 7609580fb05a
children a18e78b9c78b
line wrap: on
line diff