feat: drag files between file panes (move or copy, SSH hosts too) and into a terminal of the same machine

internal/server/web/static/workspace.js

@@ -664,12 +664,16 @@
     if (location.pathname !== '/terminal' && window.App) App.go('/terminal');
     return t;
   }
+  const in_ = (el, x, y) => { const r = el.getBoundingClientRect(); return x >= r.left && x <= r.right && y >= r.top && y <= r.bottom; };
   window.Workspace = {
     paneTypes, desk, touch, open, activate,
     hasLiveSessions: () => tabs.some(t => t.panes.some(p => p.live())),
     panes: () => tabs.flatMap(t => t.panes),
     activePane: () => activePane,
     renderPane: p => { const t = tabOf(p); if (t) renderTab(t); if (p === activePane) showStatus(); },
-    setActivePane, tabOf, renderTab, showStatus, closePane, startDrag
+    setActivePane, tabOf, renderTab, showStatus, closePane, startDrag,
+    // paneAt, tabAt: the pane of the shown tab, the tab title at a point.
+    paneAt: (x, y) => active && active.panes.find(p => in_(p.el, x, y)),
+    tabAt: (x, y) => document.body.classList.contains('multi') ? tabs.find(t => in_(t.el, x, y)) : null
   };
 })();