diff --git a/arduino-ide-extension/src/browser/theia/core/tab-bars.ts b/arduino-ide-extension/src/browser/theia/core/tab-bars.ts index c6adbc236..406525a1a 100644 --- a/arduino-ide-extension/src/browser/theia/core/tab-bars.ts +++ b/arduino-ide-extension/src/browser/theia/core/tab-bars.ts @@ -10,4 +10,9 @@ export class TabBarRenderer extends TheiaTabBarRenderer { } return className; } + + protected override handleContextMenuEvent = (): void => { + // NOOP + // Context menus are empty, so they have been removed + }; }