dashboard: show peer ID in title

1 files changed, 5 insertions, 2 deletions

diff --git a/src/api/dashboard/dashboard.html b/src/api/dashboard/dashboard.html
index d0d637d..4f77dde 100644
--- a/src/api/dashboard/dashboard.html
+++ b/src/api/dashboard/dashboard.html
@@ -54,6 +54,7 @@
   section h2 { font-size: 13px; text-transform: uppercase; letter-spacing: .04em;
     color: var(--muted); margin: 0 0 8px; flex: none; }
   section h2 .what { text-transform: none; letter-spacing: 0; color: var(--fg); }
+  section h2 .what .id { color: var(--muted); font-weight: normal; word-break: break-all; }
   #map { grid-area: map; }
   #peers-box { grid-area: peers; }
   #figures-box { grid-area: figures; }
@@ -293,8 +294,10 @@ function renderStats() {
     what.textContent = name(state.node.id) + " (this node)";
     shown = [tree("stats", state.stats, "stats")];
   } else {
-    what.textContent = name(focused);
-    what.title = focused;
+    // Its alias (if it has one) and its node ID, in full.
+    const alias = (state.graph.members[focused] || {}).alias ||
+      (state.peers.peers[focused] || {}).alias;
+    what.replaceChildren(...(alias ? [alias, " "] : []), el("span", { class: "id" }, focused));
     const peer = state.peers.peers[focused];
     const report = state.graph.measured[focused];
     shown = [];