Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-04-25 02:58:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

debt - remove obsolete URI casts

Browse Source
This commit is contained in:
Johannes Rieken
2017-10-11 12:59:38 +02:00
parent e96a35fa05
commit 12439dfbb6
10 changed files with 15 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/vs/workbench/api/node/extHostDiagnostics.ts
View File

@@ -133,7 +133,7 @@ export class DiagnosticCollection implements vscode.DiagnosticCollection {
}
}
entries.push([<URI>uri, marker]);
entries.push([uri, marker]);
}
this._proxy.$changeMany(this.name, entries);
@@ -142,7 +142,7 @@ export class DiagnosticCollection implements vscode.DiagnosticCollection {
delete(uri: vscode.Uri): void {
this._checkDisposed();
this._data.delete(uri.toString());
this._proxy.$changeMany(this.name, [[<URI>uri, undefined]]);
this._proxy.$changeMany(this.name, [[uri, undefined]]);
}
clear(): void {