Function downloadText

app.js:2386–2396

(filename, text)

}

function downloadText(filename, text) {
  const blob = new Blob([text], { type: "text/plain;charset=utf-8" });
  const url = URL.createObjectURL(blob);
  const a = document.createElement("a");
  a.href = url;
  a.download = filename;
  document.body.appendChild(a);
  a.click();
  document.body.removeChild(a);
  URL.revokeObjectURL(url);
}

function reloadIconManifestScript() {
  // `icons/manifest.js` is loaded once at page load; "Refresh" should be able to pick up changes.