// Find the plugin whose title matches title and return it
static PluginServer* scan_plugindb(char *title,
int data_type);
+ static void fix_plugin_title(char *title);
static int plugin_exists(const char *plugin_path, ArrayList<PluginServer*> &plugins);
static int plugin_exists(char *plugin_path);
void dump_plugindb(FILE *fp);
void stop_playback(int wait);
+ void stop_transport();
void queue_mixers(EDL *edl, int command, int wait_tracking,
- int use_inout, int update_refresh, int toggle_audio);
+ int use_inout, int update_refresh, int toggle_audio, int loop_play);
+ void create_mixers();
void refresh_mixers();
void stop_mixers();
void close_mixers();
static void create_defaults_path(char *string, const char *config_file);
void delete_folder(char *folder);
- void delete_inpoint();
- void delete_outpoint();
void delete_track();
void delete_track(Track *track);
void toggle_editing_mode();
void set_inpoint(int is_mwindow);
void set_outpoint(int is_mwindow);
+ void unset_inoutpoint(int is_mwindow);
void splice(EDL *source);
void toggle_loop_playback();
void trim_selection();