#include "pbd/xml++.h"
#include "pbd/controllable.h"
+#include "pbd/system_exec.h"
#include <gtkmm/box.h>
#include <gtkmm/frame.h>
#include <gtkmm/label.h>
#include "theme_manager.h"
class VideoTimeLine;
-class SystemExec;
class ArdourKeyboard;
class AudioClock;
class ButtonJoiner;
static UIConfiguration *ui_config;
- SystemExec *video_server_process;
+ PBD::SystemExec *video_server_process;
void handle_locations_change (ARDOUR::Location*);
void disk_speed_dialog_gone (int ignored_response, Gtk::MessageDialog*);
void disk_overrun_handler ();
void disk_underrun_handler ();
+ void gui_idle_handler ();
+
+ void cancel_plugin_scan ();
+ void cancel_plugin_timeout ();
+ void plugin_scan_dialog (std::string type, std::string plugin, bool);
+ void plugin_scan_timeout (int);
void session_format_mismatch (std::string, std::string);