diff options
| -rw-r--r-- | public/common/replay.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/common/replay.js b/public/common/replay.js index a1e6cfd..24a0d67 100644 --- a/public/common/replay.js +++ b/public/common/replay.js @@ -257,7 +257,7 @@ function on_replay_play_pause() { on_replay_step_next() else on_replay_play_pause() - }, 1000) + }, 500) } else { document.getElementById("replay_stop").classList.add("hide") document.getElementById("replay_play").classList.remove("hide") |