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

toast compile/verify

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-21 19:40:02 +02:00
parent 42d2285fa8
commit deea43008d
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
arduino-ide-extension/src/browser/contributions/upload-sketch.ts
View File

@@ -84,8 +84,9 @@ export class UploadSketch extends SketchContribution {
port: selectedPort.address,
optimizeForDebug: this.editorMode.compileForDebug
});
this.messageService.info('Done uploading.', { timeout: 1000 });
} catch (e) {
await this.messageService.error(e.toString());
this.messageService.error(e.toString());
} finally {
if (monitorConfig) {
await this.monitorConnection.connect(monitorConfig);