Function api

deployments/desktop/static/desktop.js:1722–1737

(path, options = {})

    button.disabled = busy;
    button.classList.toggle("loading", busy);
    button.textContent = busy ? ui().papers.generating : ui().reports.generate;
  }

  function flashButtonFeedback(button, type = "click") {
    if (!button || (button.disabled && type === "click")) return;
    const previousTimer = state.buttonFeedbackTimers.get(button);
    if (previousTimer) window.clearTimeout(previousTimer);
    button.classList.remove("feedback-click", "feedback-success", "feedback-error");
    button.classList.add(`feedback-${type}`);
    const timer = window.setTimeout(() => {
      button.classList.remove("feedback-click", "feedback-success", "feedback-error");
      state.buttonFeedbackTimers.delete(button);
    }, type === "click" ? 520 : 760);
    state.buttonFeedbackTimers.set(button, timer);
  }

  function setActionButtonBusy(button, busy) {
    if (!button) return;
    if (busy) {