jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-05 08:28:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

updated to latest Theia, CLI, electron and node 12

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-17 09:41:02 +02:00
parent a0bbfe0b5c
commit 218aaf64c7
6 changed files with 848 additions and 583 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx
View File

@@ -371,16 +371,11 @@ export class ArduinoFrontendContribution implements FrontendApplicationContribut
? sketchDirUri.resolve(sketchDirUri.resolve(`${sketch.name}_copy_${dateFormat(new Date(), 'yyyymmddHHMMss')}`).toString())
: sketchDirUri.resolve(sketch.name);
const defaultPath = await this.fileSystem.getFsPath(defaultUri.toString())!;
const fsPath = await new Promise<string | undefined>(resolve => {
remote.dialog.showSaveDialog({
title: 'Save sketch folder as...',
defaultPath
}, (filename) => resolve(filename));
});
if (!fsPath) { // Canceled
const { filePath, canceled } = await remote.dialog.showSaveDialog({ title: 'Save sketch folder as...', defaultPath });
if (!filePath || canceled) {
return;
}
const destinationUri = await this.fileSystemExt.getUri(fsPath);
const destinationUri = await this.fileSystemExt.getUri(filePath);
if (!destinationUri) {
return;
}