Update Electron main menu when a toggle button is switched

arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx

@@ -301,7 +301,10 @@ export class ArduinoFrontendContribution implements FrontendApplicationContribut
         });
 
         registry.registerCommand(ArduinoCommands.TOGGLE_COMPILE_FOR_DEBUG, {
-            execute: () => this.editorMode.toggleCompileForDebug(),
+            execute: () => {
+                this.editorMode.toggleCompileForDebug();
+                this.editorMode.menuContentChanged.fire();
+            },
             isToggled: () => this.editorMode.compileForDebug
         });
 
@@ -416,7 +419,10 @@ export class ArduinoFrontendContribution implements FrontendApplicationContribut
         });
 
         registry.registerCommand(ArduinoCommands.TOGGLE_ADVANCED_MODE, {
-            execute: () => this.editorMode.toggleProMode(),
+            execute: () => {
+                this.editorMode.toggleProMode();
+                this.editorMode.menuContentChanged.fire();
+            },
             isVisible: widget => ArduinoToolbar.is(widget) && widget.side === 'right',
             isToggled: () => this.editorMode.proMode
         });

arduino-ide-extension/src/browser/editor-mode.ts

@@ -1,4 +1,5 @@
 import { injectable } from 'inversify';
+import { Emitter } from '@theia/core/lib/common/event';
 import { ApplicationShell, FrontendApplicationContribution, FrontendApplication } from '@theia/core/lib/browser';
 import { ArduinoShellLayoutRestorer } from './shell/arduino-shell-layout-restorer';
 import { OutputWidget } from '@theia/output/lib/browser/output-widget';
@@ -7,6 +8,8 @@ import { EditorWidget } from '@theia/editor/lib/browser';
 @injectable()
 export class EditorMode implements FrontendApplicationContribution {
 
+    readonly menuContentChanged = new Emitter<void>();
+
     protected app: FrontendApplication;
 
     onStart(app: FrontendApplication): void {