Function setActiveToolSwitchUI

app.js:777–784

(toolKey)

}

function setActiveToolSwitchUI(toolKey) {
  toolSwitchButtons.forEach((btn) => {
    const key = btn.getAttribute("data-switch-tool");
    const active = key === toolKey;
    btn.classList.toggle("active", active);
    btn.setAttribute("aria-selected", active ? "true" : "false");
  });
}

function refreshEmbeddedToolHrefs() {
  // Make right-click "Open in new tab" (and the overlay button) open the *embedded* themed variant.