# HG changeset patch
# User Chris Cannam <cannam@all-day-breakfast.com>
# Date 1530020256 -3600
# Node ID 13e17e61f898c227073af290e090071b408e809d
# Parent  e7c9650e74a705ebd911c88df6ade978f09ddcfb
Tool button on Mac (something has gone very wrong with the appearance of the push button in latest builds)

diff -r e7c9650e74a7 -r 13e17e61f898 widgets/PropertyBox.cpp
--- a/widgets/PropertyBox.cpp	Tue Jun 26 14:36:56 2018 +0100
+++ b/widgets/PropertyBox.cpp	Tue Jun 26 14:37:36 2018 +0100
@@ -306,7 +306,11 @@
             cerr << "PropertyBox: creating new checkbox" << endl;
 #endif
             if (iconName != "") {
+#ifdef Q_OS_MAC
+                button = new NotifyingToolButton();
+#else
                 button = new NotifyingPushButton();
+#endif
                 button->setCheckable(true);
                 QIcon icon(IconLoader().load(iconName));
                 button->setIcon(icon);