feat: workspace lives in the terminal view and keeps its sessions across pages; terminal panes split out

internal/server/web/static/pages.js

@@ -30,6 +30,13 @@
   // the tab is hidden.
   App.register('dashboard', {
     mount(root, S) {
+    // Terminal and files buttons open a tab in the workspace, no reload.
+    S.on(root, 'click', function (ev) {
+      var b = ev.target.closest('[data-open]');
+      if (!b || !window.Workspace || !Workspace.paneTypes[b.dataset.open]) return;
+      ev.preventDefault();
+      Workspace.open(b.dataset.open, {id: b.dataset.id, name: b.dataset.name, host: b.dataset.host, user: b.dataset.user});
+    });
     var setTimeout = S.timeout, clearTimeout = S.clear, fetch = S.fetch;
 
     var rows = {};