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

Merge pull request #30 from bcmi-labs/PROEDITOR-19

Browse Source 
PROEDITOR-19: Open new sketches in new windows
This commit is contained in:
Luca Cipriani
2019-07-25 09:21:15 +02:00
committed by GitHub
parent 835107b5a6 c45e85eb89
commit 5cc75118cd
3 changed files with 48 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
arduino-ide-extension/src/node/core-client-provider-impl.ts
View File

@@ -90,7 +90,7 @@ export class CoreClientProviderImpl implements CoreClientProvider {
throw new Error(`Could not retrieve instance from the initialize response.`);
}
// in a seperate promise, try and update the index
// in a separate promise, try and update the index
let succeeded = true;
for (let i = 0; i < 10; i++) {
try {
@@ -118,11 +118,24 @@ export class CoreClientProviderImpl implements CoreClientProvider {
const updateReq = new UpdateIndexReq();
updateReq.setInstance(instance);
const updateResp = client.updateIndex(updateReq);
let file: string | undefined;
updateResp.on('data', (o: UpdateIndexResp) => {
const progress = o.getDownloadProgress();
if (progress) {
if (!file && progress.getFile()) {
file = `${progress.getFile()}`;
}
if (progress.getCompleted()) {
this.toolOutputService.publishNewOutput("daemon", `Download${progress.getFile() ? ` of ${progress.getFile()}` : ''} completed.\n`);
if (file) {
if (/\s/.test(file)) {
this.toolOutputService.publishNewOutput("daemon", `${file} completed.\n`);
} else {
this.toolOutputService.publishNewOutput("daemon", `Download of '${file}' completed.\n'`);
}
} else {
this.toolOutputService.publishNewOutput("daemon", `The index has been successfully updated.\n'`);
}
file = undefined;
}
}
});