tool card UI redesign: semantic icons, inline diff persistence, tool detail page, MCP-friendly titles

web/lib/open-tool.js

@@ -0,0 +1,17 @@
+/**
+ * Global tool-detail opener helper.
+ *
+ * `window.openToolDetail(id)` is the single entry point for "show this tool
+ * call's full input / result / diff in the dedicated detail page". It navigates
+ * to `#tool_detail?id=<id>`, which the hash router in `sidebar.js` resolves to
+ * the `<tool-detail-page>` element. Back/forward navigation works naturally.
+ *
+ * Mirrors `open-file.js` — the URL format lives in one place, so a tool card's
+ * "details" (eye) affordance calls this rather than setting the hash directly.
+ */
+export function openToolDetail(id) {
+  if (id == null) return;
+  location.hash = `tool_detail?id=${encodeURIComponent(id)}`;
+}
+
+window.openToolDetail = openToolDetail;