audio_time = AudioManager.getPlaybackTime() while scheduler.peek().timestamp <= audio_time + LOOKAHEAD: event = scheduler.pop() spawn(event) Dash duration handling (touch)

Project Arrhythmia — Android

audio_time = AudioManager.getPlaybackTime() while scheduler.peek().timestamp <= audio_time + LOOKAHEAD: event = scheduler.pop() spawn(event) Dash duration handling (touch)