Override the RELOAD_REQUESTED_SIGNAL correctly (#880)

arduino · Mar 3, 2022 · e6b9d4e · e6b9d4e
1 parent 93a374d
commit e6b9d4e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts b/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
@@ -18,6 +18,7 @@ import { URI } from '@theia/core/shared/vscode-uri';
 import * as electronRemoteMain from '@theia/core/electron-shared/@electron/remote/main';
 import { Deferred } from '@theia/core/lib/common/promise-util';
 import * as os from '@theia/core/lib/common/os';
+import { RELOAD_REQUESTED_SIGNAL, Restart } from '@theia/core/lib/electron-common/messaging/electron-messages';
 
 app.commandLine.appendSwitch('disable-http-cache');
 
@@ -157,7 +158,9 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
     app.on('second-instance', this.onSecondInstance.bind(this));
     app.on('window-all-closed', this.onWindowAllClosed.bind(this));
 
-    ipcMain.on('restart', ({ sender }) => {
+    ipcMain.on(RELOAD_REQUESTED_SIGNAL, event => this.handleReload(event));
+
+    ipcMain.on(Restart, ({ sender }) => {
       this.restart(sender.id);
     });
   }