diff options
| author | Cliff Click <cliffc@acm.org> | 2026-09-24 14:07:50 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-09-24 14:07:50 -0700 |
| commit | e9e02b18ee3223f2cfe1990be00674f9868e1a26 (patch) | |
| tree | 208421237588f436457d80766f2887a383017a54 /graph/web/viewer.js | |
| parent | 7279862d57c97063eb46997804b5efb6c0b07189 (diff) | |
| download | Simple-e9e02b18ee3223f2cfe1990be00674f9868e1a26.tar.gz Simple-e9e02b18ee3223f2cfe1990be00674f9868e1a26.zip | |
edge zooming
Diffstat (limited to 'graph/web/viewer.js')
| -rw-r--r-- | graph/web/viewer.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/graph/web/viewer.js b/graph/web/viewer.js index 77703b71..7e41c082 100644 --- a/graph/web/viewer.js +++ b/graph/web/viewer.js @@ -178,7 +178,7 @@ document.getElementById("assocs").addEventListener("change", event => renderer.a document.getElementById("near").addEventListener("change", () => renderer.mark()); document.getElementById("save").addEventListener("click", () => renderer.save(frames[current].snap.step)); document.addEventListener("keydown", event => { - if (event.key === "Escape") renderer.select(0); + if (event.key === "Escape") { renderer.clearJump(); renderer.select(0); } }); try { |