@eclipse-docks/core 0.7.105 → 0.7.106

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eclipse-docks/core",
-  "version": "0.7.105",
+  "version": "0.7.106",
   "description": "Eclipse Docks platform core: registries, services, parts, widgets, and API",
   "type": "module",
   "license": "EPL-2.0",

package/src/commands/open-view-as-editor.ts

@@ -11,18 +11,21 @@ registerAll({
         description: "Opens a dashboard view in the editor area",
         parameters: [
             { name: "name", description: "View contribution name", required: true },
-            { name: "sourceContributionSlot", description: "source contribution slot (default: SYSTEM_VIEWS)", required: false }
+            { name: "sourceContributionSlot", description: "source contribution slot (default: SYSTEM_VIEWS)", required: false },
+            { name: "singleTab", description: "If true, close all other editor tabs first so only this view remains open", required: false }
         ]
     },
     handler: {
-        execute: async ({ params }: { params?: { name?: string, sourceContributionSlot?: string } }) => {
+        execute: async ({ params }: { params?: { name?: string, sourceContributionSlot?: string, singleTab?: boolean } }) => {
             const name = params?.name;
             if (!name) return;
             const slot = params?.sourceContributionSlot ?? SYSTEM_VIEWS
             const contributions = contributionRegistry.getContributions(slot) as TabContribution[];
             const contribution = contributions.find(c => c.name === name);
             if (!contribution?.component) return;
-            await editorRegistry.openTab(contribution as TabContribution);
+            await editorRegistry.openTab(contribution as TabContribution, {
+                singleTab: params?.singleTab === true,
+            });
         }
     }
 });

package/src/components/command.ts

@@ -43,6 +43,9 @@ export class DocksCommand extends DocksWidget {
     @property()
     dropdown?: string
 
+    @property({ type: Boolean, attribute: 'with-caret' })
+    withCaret: boolean = true
+
     @property()
     placement: 'top' | 'top-start' | 'top-end' | 'bottom' | 'bottom-start' | 'bottom-end' | 'left' | 'left-start' | 'left-end' | 'right' | 'right-start' | 'right-end' = 'bottom-start'
 
@@ -161,7 +164,7 @@ export class DocksCommand extends DocksWidget {
                         variant=${this.variant}
                         size=${this.size}
                         ?disabled=${this.disabled}
-                        with-caret
+                        ?with-caret=${this.withCaret}
                         title=${keybinding ? `${this.title} (${keybinding})` : this.title}>
                         ${icon(this.icon, { label: this.title, slot: 'start' })}
                         <slot></slot>

package/src/core/editorregistry.ts

@@ -226,7 +226,7 @@ class EditorRegistry {
         } as TabContribution) 
     }
 
-    async openTab(tabContribution: TabContribution) {
+    async openTab(tabContribution: TabContribution, options?: { singleTab?: boolean }) {
         const editorArea = this.getEditorArea();
         
         if (!editorArea) {
@@ -234,6 +234,13 @@ class EditorRegistry {
             return;
         }
 
+        if (options?.singleTab) {
+            const closed = await editorArea.closeAllTabs();
+            if (!closed) return;
+            editorArea.open(tabContribution);
+            return;
+        }
+
         if (editorArea.has(tabContribution.name)) {
             editorArea.activate(tabContribution.name)
             return

package/src/parts/tabs.ts

@@ -41,6 +41,9 @@ export class DocksTabs extends DocksContainer {
     @property({type: Boolean, reflect: true, attribute: 'with-toolbar'})
     withToolbar: boolean = false;
 
+    @property({ type: Boolean, reflect: true, attribute: 'hide-tabs' })
+    hideTabs: boolean = false;
+
     /** Tab contributions for this container */
     @state()
     private contributions: TabContribution[] = [];
@@ -152,17 +155,37 @@ export class DocksTabs extends DocksContainer {
 
     async closeTab(event: Event, tabName: string): Promise<void> {
         event.stopPropagation();
-        
-        if (this.isDirty(tabName) && !await confirmDialog("Unsaved changes will be lost: Do you really want to close?")) {
-            return;
+        await this.tryCloseTab(tabName, true);
+    }
+
+    /**
+     * Closes every tab in this group. Returns false if the user cancels a dirty-tab prompt.
+     */
+    async closeAllTabs(): Promise<boolean> {
+        const names = [...this.contributions.map((c) => c.name)];
+        for (const tabName of names) {
+            const ok = await this.tryCloseTab(tabName, true);
+            if (!ok) return false;
         }
-        
+        return true;
+    }
+
+    /**
+     * @returns false if the user cancelled closing a dirty tab; true if the tab was removed or was absent.
+     */
+    private async tryCloseTab(tabName: string, confirmIfDirty: boolean): Promise<boolean> {
+        if (confirmIfDirty && this.isDirty(tabName)) {
+            if (!await confirmDialog("Unsaved changes will be lost: Do you really want to close?")) {
+                return false;
+            }
+        }
+
         const tabPanel = this.getTabPanel(tabName);
-        if (!tabPanel) return;
-        
+        if (!tabPanel) return true;
+
         const contribution = this.contributions.find(c => c.name === tabName);
-        if (!contribution) return;
-        
+        if (!contribution) return true;
+
         this.cleanupTabInstance(tabPanel);
         this.clearActiveSignalsIfPartInPanel(tabPanel);
 
@@ -172,10 +195,11 @@ export class DocksTabs extends DocksContainer {
         }
 
         this.requestUpdate();
-        
+
         this.updateComplete.then(() => {
             this.activateNextAvailableTab();
         });
+        return true;
     }
 
     markDirty(name: string, dirty: boolean): void {
@@ -421,6 +445,14 @@ export class DocksTabs extends DocksContainer {
             min-height: 0;
         }
 
+        :host([hide-tabs]) wa-tab {
+            display: none !important;
+        }
+
+        :host([hide-tabs]:not([with-toolbar])) wa-tab-group::part(nav) {
+            display: none;
+        }
+
         :host(:is([placement="top"], [placement="bottom"])) wa-tab-group::part(base) {
             display: grid;
             grid-template-rows: auto minmax(0, 1fr);