introduce PlaybackTime to abstract bot file timestamps

This commit is contained in:
2026-02-26 08:31:11 -08:00
parent d03f84c893
commit 29e49587ff
5 changed files with 54 additions and 55 deletions

View File

@@ -56,17 +56,21 @@ function set_scale(new_scale) {
// Controls
document.getElementById("control_reset").addEventListener("click", (e) => {
playback.seek_to(elapsed(), 0.0);
playback.set_head_time(elapsed(), 0.0);
});
document.getElementById("control_pause").addEventListener("click", (e) => {
paused = !paused;
playback.set_paused(elapsed(), paused);
});
document.getElementById("control_forward").addEventListener("click", (e) => {
playback.seek_forward(2.0);
const time_now = elapsed();
const playback_time = playback.get_head_time(time_now);
playback.set_head_time(time_now, playback_time + 2.0);
});
document.getElementById("control_backward").addEventListener("click", (e) => {
playback.seek_backward(2.0);
const time_now = elapsed();
const playback_time = playback.get_head_time(time_now);
playback.set_head_time(time_now, playback_time - 2.0);
});
document.getElementById("control_slower").addEventListener("click", (e) => {
set_scale((scale * 4) / 5);