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

import { injectable, inject } from '@theia/core/shared/inversify';
import {
  FrontendApplicationContribution,
  FrontendApplication,
} from '@theia/core/lib/browser';
import { MainMenuManager } from '../common/main-menu-manager';

@injectable()
export class EditorMode implements FrontendApplicationContribution {
  @inject(MainMenuManager)
  protected readonly mainMenuManager: MainMenuManager;

  protected app: FrontendApplication;

  onStart(app: FrontendApplication): void {
    this.app = app;
  }

  get compileForDebug(): boolean {
    const value = window.localStorage.getItem(EditorMode.COMPILE_FOR_DEBUG_KEY);
    return value === 'true';
  }

  async toggleCompileForDebug(): Promise<void> {
    const oldState = this.compileForDebug;
    const newState = !oldState;
    window.localStorage.setItem(
      EditorMode.COMPILE_FOR_DEBUG_KEY,
      String(newState)
    );
    this.mainMenuManager.update();
  }
}

export namespace EditorMode {
  export const COMPILE_FOR_DEBUG_KEY = 'arduino-compile-for-debug';
}