Function closeGraphView

script.js:702–708

()

}

function closeGraphView() {
  const overlay = document.getElementById("graph-overlay");
  overlay.classList.remove("visible");
  if (graphSimulation) { graphSimulation.stop(); graphSimulation = null; }
  document.getElementById("graph-svg").innerHTML = "";
  document.removeEventListener("keydown", onGraphEscape);
}

function onGraphEscape(e) {
  if (e.key === "Escape") closeGraphView();