GUI options to select FLAC as media format

[ardour.git] / gtk2_ardour / mono_panner.h

diff --git a/gtk2_ardour/mono_panner.h b/gtk2_ardour/mono_panner.h
index aef11d9c7a576b7419b65c5728d7399bdd2b42d4..5022e9b52d83573bd0f9200662dfb6b5c6703af0 100644 (file)
--- a/gtk2_ardour/mono_panner.h
+++ b/gtk2_ardour/mono_panner.h
@@ -24,7 +24,7 @@
 
 #include <boost/shared_ptr.hpp>
 
-#include "gtkmm2ext/binding_proxy.h"
+#include "widgets/binding_proxy.h"
 
 #include "panner_interface.h"
 
@@ -72,7 +72,7 @@ private:
        double accumulated_delta;
        bool detented;
 
-       BindingProxy position_binder;
+       ArdourWidgets::BindingProxy position_binder;
 
        void set_tooltip ();