Method play

script.js:874–880

()

  }

  play() {
    this.playing = true;
    if (this.last_paused != this.time) {
      this.refresh_audio();
    }
    this.audio_ctx.resume();
  }

  pause() {
    this.playing = false;