GH-7103: API for removing toolbar item.

Closes #7103. Signed-off-by: Akos Kitta <[email protected]>
eclipse-theia · Mar 4, 2021 · 76af952 · 76af952
1 parent 734f49f
commit 76af952
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/packages/core/src/browser/shell/tab-bar-toolbar.tsx b/packages/core/src/browser/shell/tab-bar-toolbar.tsx
@@ -455,4 +455,11 @@ export class TabBarToolbarRegistry implements FrontendApplicationContribution {
         return result;
     }
 
+    unregisterItem(itemOrId: TabBarToolbarItem | ReactTabBarToolbarItem | string): void {
+        const id = typeof itemOrId === 'string' ? itemOrId : itemOrId.id;
+        if (this.items.delete(id)) {
+            this.fireOnDidChange();
+        }
+    }
+
 }