arduino-ide/arduino-ide-extension/src/browser/theia/editor/editor-command.ts

import { injectable, postConstruct } from '@theia/core/shared/inversify';
import { EditorCommandContribution as TheiaEditorCommandContribution } from '@theia/editor/lib/browser/editor-command';

@injectable()
export class EditorCommandContribution extends TheiaEditorCommandContribution {
  @postConstruct()
  protected override init(): void {
    // Workaround for https://github.com/eclipse-theia/theia/issues/8722.
    this.editorPreferences.onPreferenceChanged(
      ({ preferenceName, newValue, oldValue }) => {
        if (preferenceName === 'files.autoSave') {
          const autoSaveWasOnBeforeChange = !oldValue || oldValue !== 'off';
          const autoSaveIsOnAfterChange = !newValue || newValue !== 'off';
          if (!autoSaveWasOnBeforeChange && autoSaveIsOnAfterChange) {
            this.shell.saveAll();
          }
        }
      }
    );
  }
}