# HG changeset patch
# User Chris Cannam
# Date 1481016010 0
# Node ID 7c31eb5bc77d42b8599fa513976cc6c27fa993cd
# Parent  ed99d432dc57ae080703c4e53c48bf8b037564c0
Switch to level-pan tool button in property box

diff -r ed99d432dc57 -r 7c31eb5bc77d widgets/PropertyBox.cpp
--- a/widgets/PropertyBox.cpp	Mon Dec 05 17:13:01 2016 +0000
+++ b/widgets/PropertyBox.cpp	Tue Dec 06 09:20:10 2016 +0000
@@ -28,6 +28,7 @@
 #include "LEDButton.h"
 #include "IconLoader.h"
 #include "LevelPanWidget.h"
+#include "LevelPanToolButton.h"
 #include "WidgetScale.h"
 
 #include "NotifyingCheckBox.h"
@@ -205,7 +206,7 @@
                     this, SLOT(editPlayParameters()));
         }
 
-        LevelPanWidget *levelPan = new LevelPanWidget;
+        LevelPanToolButton *levelPan = new LevelPanToolButton;
         layout->addWidget(levelPan);
         connect(levelPan, SIGNAL(levelChanged(float)),
                 this, SLOT(playGainControlChanged(float)));