chore: import upstream snapshot with attribution

2026-07-13 12:23:53 +08:00
commit bf6f0825b2
1681 changed files with 296950 additions and 0 deletions
@@ -0,0 +1,38 @@
+<!doctype html>
+<html>
+    <head>
+        <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1, minimum-scale=1, user-scalable=no" />
+        <script type="module" src="/node_modules/@perspective-dev/viewer-datagrid/dist/cdn/perspective-viewer-datagrid.js"></script>
+        <script type="module" src="/node_modules/@perspective-dev/viewer-charts/dist/cdn/perspective-viewer-charts.js"></script>
+        <link rel="stylesheet" crossorigin="anonymous" href="/node_modules/@perspective-dev/viewer/dist/css/themes.css" />
+        <style>
+            perspective-viewer {
+                position: absolute;
+                top: 0;
+                left: 0;
+                right: 0;
+                bottom: 0;
+            }
+        </style>
+    </head>
+    <body>
+        <perspective-viewer></perspective-viewer>
+        <script type="module">
+            import "/node_modules/@perspective-dev/viewer/dist/cdn/perspective-viewer.js";
+            import perspective from "/node_modules/@perspective-dev/client/dist/cdn/perspective.js";
+            const el = document.getElementsByTagName("perspective-viewer")[0];
+            el.addEventListener("perspective-config-update", async () => {
+                const config = await el.save();
+                delete config["table"];
+                localStorage.setItem("layout", JSON.stringify(config));
+            });
+
+            const websocket = await perspective.websocket("ws://localhost:8081/subscribe");
+            const table = await websocket.open_table("benchmarks");
+            const worker = await perspective.worker();
+            const table2 = await worker.table(await table.view());
+            el.load(table2);
+            el.restore(JSON.parse(localStorage.getItem("layout")));
+        </script>
+    </body>
+</html>