void handle_done_event(int result);
void handle_close_event(int result);
void change_source(EDL *edl);
- void stop_playback();
- void issue_command(int command, int wait_tracking,
- int use_inout, int update_refresh, int toggle_audio);
+ void stop_playback(int wait);
+ void issue_command(int command, int wait_tracking, int use_inout,
+ int update_refresh, int toggle_audio, int loop_play);
void update_mixer_ids();
void set_title(const char *tp);
void reposition(int x, int y, int w, int h);