// Set wait_tracking for events that change the cursor location but
// be sure to unlock the windows
void interrupt_playback(int wait_tracking = 0);
// Set wait_tracking for events that change the cursor location but
// be sure to unlock the windows
void interrupt_playback(int wait_tracking = 0);