But we also don't want separators at the end

eclipse-theia · Jul 11, 2022 · 198a462 · 198a462
1 parent 227e46f
commit 198a462
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/core/src/browser/menu/browser-menu-plugin.ts b/packages/core/src/browser/menu/browser-menu-plugin.ts
@@ -277,7 +277,7 @@ export class DynamicMenuWidget extends MenuWidget {
 
     protected updateSubMenus(parent: MenuWidget, menu: CompositeMenuNode, commands: MenuCommandRegistry): void {
         const items = this.buildSubMenus([], menu, commands);
-        if (items[items.length - 1]?.type === 'separator') {
+        while (items[items.length - 1]?.type === 'separator') {
             items.pop();
         }
         for (const item of items) {