log widgets/PropertyBox.cpp @ 1343:5f3e374746b6 zoom

age author description
Tue, 26 Jun 2018 14:37:36 +0100 Chris Cannam Tool button on Mac (something has gone very wrong with the appearance of the push button in latest builds)