From e9e02b18ee3223f2cfe1990be00674f9868e1a26 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Thu, 24 Sep 2026 14:07:50 -0700
Subject: edge zooming

---
 graph/web/index.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'graph/web/index.html')

diff --git a/graph/web/index.html b/graph/web/index.html
index 198db3ad..4a32b461 100644
--- a/graph/web/index.html
+++ b/graph/web/index.html
@@ -24,6 +24,8 @@
     .edge.selected { stroke-width:3.5; }
     .edge.bundle { stroke-width:4; }
     .edge.bundle.selected { stroke-width:6; }
+    .edge-hit { fill:none; stroke:transparent; stroke-width:12; vector-effect:non-scaling-stroke; pointer-events:stroke; cursor:pointer; }
+    .edge-jump { fill:transparent; pointer-events:all; cursor:pointer; }
     .node { cursor:pointer; }
     .box { stroke:#758191; stroke-width:1; }
     .node.held .box { stroke-dasharray:5 3; }
@@ -78,7 +80,7 @@
         <label><input id="assocs" type="checkbox"> Associations</label>
         <label><input id="near" type="checkbox" checked> Peep neighborhood</label>
         <span class="ctrl">Control</span><span class="data">Data</span><span class="mem">Memory</span>
-        <span class="hint">Scroll to zoom · drag to pan · click a node for details</span>
+        <span class="hint">Scroll to zoom · drag to pan · click a node for details · click an edge to jump between ends</span>
       </div>
       <div id="event" class="hint" role="status"></div>
     </div>
-- 
cgit v1.2.3