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);
// Maintain caches through console changes
CICache *audio_cache, *video_cache;