fix audio clock field widths, change minsec display to include fractional seconds...

[ardour.git] / gtk2_ardour / io_selector.cc

diff --git a/gtk2_ardour/io_selector.cc b/gtk2_ardour/io_selector.cc
index f754435112a090cd80fc1cfd7783ebad2f309b63..fda4a32acb243eabcd2a61e847851e48ef291f75 100644 (file)
--- a/gtk2_ardour/io_selector.cc
+++ b/gtk2_ardour/io_selector.cc
@@ -21,6 +21,8 @@
 #include <map>
 #include <vector>
 
+#include <sigc++/bind.h>
+
 #include <gtkmm/messagedialog.h>
 
 #include <glibmm/thread.h>
@@ -827,9 +829,9 @@ PortInsertWindow::PortInsertWindow (Session& sess, boost::shared_ptr<PortInsert>
 }
 
 void
-PortInsertWindow::plugin_going_away (ARDOUR::Redirect* ignored)
+PortInsertWindow::plugin_going_away ()
 {
-       ENSURE_GUI_THREAD(bind (mem_fun(*this, &PortInsertWindow::plugin_going_away), ignored));
+       ENSURE_GUI_THREAD(mem_fun(*this, &PortInsertWindow::plugin_going_away));
        
        delete_when_idle (this);
 }