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

implemented a few more edit contributions.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-18 15:43:55 +02:00
parent c0cadf2b9b
commit 540a6215e4
10 changed files with 148 additions and 171 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/browser/contributions/save-as-sketch.ts
View File

@@ -32,7 +32,7 @@ export class SaveAsSketch extends SketchContribution {
* Resolves `true` if the sketch was successfully saved as something.
*/
async saveAs({ execOnlyIfTemp, openAfterMove }: SaveAsSketch.Options = SaveAsSketch.Options.DEFAULT): Promise<boolean> {
const sketch = await this.getCurrentSketch();
const sketch = await this.currentSketch();
if (!sketch) {
return false;
}