ChannelDB* get_channeldb();
void run();
- void stop_playback();
+ void stop_playback(int wait);
void issue_command(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 refresh_frame(int change_type, EDL *edl, int dir=1);
// Maintain caches through console changes
CICache *audio_cache, *video_cache;