Function triggerDownload

static/mobile/app.js:324–331

(url)

}

function triggerDownload(url) {
  const a = document.createElement("a");
  a.href = url;
  a.download = "";
  document.body.appendChild(a);
  a.click();
  a.remove();
}

function exportMix(kind) {
  const id = state.current?.id;