Function seekToFraction

static/mobile/app.js:319–322

(frac)

}

function seekToFraction(frac) {
  if (!engine) return;
  engine.seek(Math.max(0, Math.min(1, frac)) * curDuration());
}

function triggerDownload(url) {
  const a = document.createElement("a");