@@ -2090,11 +2101,26 @@ function DockPanel({ tab, setTab, onClose, height, onResize, logs, onClearLogs,
{tab === "log" &&
}
{tab === "terminal" &&
}
+ {activeDock &&
}
+ {tab.startsWith("plugin:") && !activeDock &&
{t("This panel's plugin is no longer active.")}
}
);
}
+// Host for a plugin-provided dock panel: mounts the plugin's render() into a div
+// and runs its cleanup on unmount / tab switch. Same pattern as PluginViewModal.
+function PluginDockPanel({ dock }: { dock: PluginDock }) {
+ const ref = useRef