diff --git a/arduino-ide-extension/src/electron-browser/theia/core/electron-main-menu-factory.ts b/arduino-ide-extension/src/electron-browser/theia/core/electron-main-menu-factory.ts index 181e3abe..cec3f54e 100644 --- a/arduino-ide-extension/src/electron-browser/theia/core/electron-main-menu-factory.ts +++ b/arduino-ide-extension/src/electron-browser/theia/core/electron-main-menu-factory.ts @@ -77,7 +77,6 @@ export class ElectronMainMenuFactory extends TheiaElectronMainMenuFactory { return escapedMenu; } - // CHECK ME override async doSetMenuBar(): Promise { // Avoid updating menu items when the app is not ready. // Getting the current electron window is not free and synchronous.