jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-10-14 13:58:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

patched to fix the window reloading on windows

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-08-14 11:06:14 +02:00
parent 960d8dba2e
commit ee327eff18
2 changed files with 3 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
arduino-ide-extension/src/browser/theia/workspace/workspace-service.ts
View File

@@ -110,18 +110,4 @@ export class WorkspaceService extends TheiaWorkspaceService {
}
}
protected openWindow(uri: FileStat, options?: WorkspaceInput): void {
const workspacePath = new URI(uri.uri).path.toString();
try {
this.openNewWindow(workspacePath);
if (this.shouldPreserveWindow(options)) {
setTimeout(() => window.close(), 10);
}
} catch (error) {
// Fall back to reloading the current window in case the browser has blocked the new window
(this as any)._workspace = uri;
this.logger.error(error.toString()).then(() => this.reloadWindow());
}
}
}