in extension land prefer URI.isUri, fixes #81819

This commit is contained in:
Johannes Rieken
2019-10-04 12:58:09 +02:00
parent e257fad18a
commit 904ab2364e
7 changed files with 10 additions and 10 deletions

View File

@@ -64,7 +64,7 @@ export class DiagnosticCollection implements vscode.DiagnosticCollection {
this._checkDisposed();
let toSync: vscode.Uri[] = [];
if (first instanceof URI) {
if (URI.isUri(first)) {
if (!diagnostics) {
// remove this entry