Function setIconHint

app.js:2377–2384

(text)

let iconPage = 0; // 0-based

function setIconHint(text) {
  if (!iconHint) return;
  iconHint.textContent = text;
  clearTimeout(setIconHint._t);
  setIconHint._t = setTimeout(() => {
    iconHint.textContent = "Click an icon to add it as an element. Shift+Click also copies its path.";
  }, 1400);
}

function downloadText(filename, text) {
  const blob = new Blob([text], { type: "text/plain;charset=utf-8" });