#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*);