Merge master.

This commit is contained in:
Joel Day
2017-01-17 13:18:41 -08:00
1054 changed files with 143505 additions and 108018 deletions

View File

@@ -604,7 +604,7 @@ export class MainThreadEditorsTracker {
}
private _findVisibleTextEditorIds(): string[] {
let result = [];
let result: string[] = [];
let modelUris = Object.keys(this._model2TextEditors);
for (let i = 0, len = modelUris.length; i < len; i++) {
let editors = this._model2TextEditors[modelUris[i]];