diff --git a/arduino-ide-extension/src/browser/dialogs/settings/settings.tsx b/arduino-ide-extension/src/browser/dialogs/settings/settings.tsx index d16f49da2..4abe6ba35 100644 --- a/arduino-ide-extension/src/browser/dialogs/settings/settings.tsx +++ b/arduino-ide-extension/src/browser/dialogs/settings/settings.tsx @@ -15,8 +15,9 @@ import { FileSystemExt, Network, } from '../../../common/protocol'; -import { nls } from '@theia/core/lib/common'; +import { CommandService, nls } from '@theia/core/lib/common'; import { AsyncLocalizationProvider } from '@theia/core/lib/common/i18n/localization'; +import { ElectronCommands } from '@theia/core/lib/electron-browser/menu/electron-menu-contribution'; export const EDITOR_SETTING = 'editor'; export const FONT_SIZE_SETTING = `${EDITOR_SETTING}.fontSize`; @@ -82,6 +83,9 @@ export class SettingsService { @inject(AsyncLocalizationProvider) protected readonly localizationProvider: AsyncLocalizationProvider; + @inject(CommandService) + protected commandService: CommandService; + protected readonly onDidChangeEmitter = new Emitter>(); readonly onDidChange = this.onDidChangeEmitter.event; protected readonly onDidResetEmitter = new Emitter>(); @@ -282,7 +286,7 @@ export class SettingsService { } else { window.localStorage.setItem(nls.localeId, currentLanguage); } - window.location.reload(); + this.commandService.executeCommand(ElectronCommands.RELOAD.id); } return true;