dashboard: dynamic graph follows dragged pins

1 files changed, 2 insertions, 0 deletions

diff --git a/src/api/dashboard/dashboard.html b/src/api/dashboard/dashboard.html
index 4823f74..6e4b1a0 100644
--- a/src/api/dashboard/dashboard.html
+++ b/src/api/dashboard/dashboard.html
@@ -1327,6 +1327,8 @@ function drag(event, id) {
     p.y = from.y + y / view.k;
     pinned.add(id);
     renderGraph();
+    // Resized by round trip: the others follow it at once.
+    if (byRtt) settle();
   }, () => {
     const now = performance.now();
     if (lastNodeClick.id === id && now - lastNodeClick.at < DOUBLE_CLICK_MS) {