# HG changeset patch
# User Chris Cannam
# Date 1485465320 0
# Node ID 312f99a9f2aaefb4e5e01375c1e55d4412b7365d
# Parent  3ef162c9df008d4e66f8a35ad5312ec38eb4ffc9
Switch widget type to one that gets mouseover notifications

diff -r 3ef162c9df00 -r 312f99a9f2aa widgets/PropertyBox.cpp
--- a/widgets/PropertyBox.cpp	Thu Jan 26 12:04:03 2017 +0000
+++ b/widgets/PropertyBox.cpp	Thu Jan 26 21:15:20 2017 +0000
@@ -198,7 +198,7 @@
 	layout->addWidget(m_playButton, 0, col++, Qt::AlignCenter);
 
         if (params->getPlayClipId() != "") {
-            QToolButton *playParamButton = new QToolButton;
+            NotifyingToolButton *playParamButton = new NotifyingToolButton;
             playParamButton->setObjectName("playParamButton");
             playParamButton->setIcon(IconLoader().load("faders"));
             playParamButton->setFixedSize(buttonSize);