log widgets/PropertyBox.cpp @ 1377:d18ca558049e

age author description
Tue, 06 Nov 2018 13:34:56 +0000 Chris Cannam Use label of property for tooltip, not just id of it
Thu, 01 Nov 2018 15:11:39 +0000 Chris Cannam Initialise level and pan from current state of layer's parameters (e.g. when reloading session) waverevision