+ {props.tabs.map((tab) => (
+
+
+
+
+ ))}
+
+
+ );
+}
+
+function Workspace({
+ id,
+ focused,
+ revision = id,
+}: {
+ id: string;
+ focused: boolean;
+ revision?: string;
+}) {
+ const state = usePluginDetailPanelState(revision, focused);
+ return (
+