Merge 57855d6e5c
into 7dfcd74e63
This commit is contained in:
commit
036188265e
|
@ -302,6 +302,10 @@ export class URI implements UriComponents {
|
|||
*/
|
||||
static file(path: string): URI {
|
||||
|
||||
if (path.startsWith('file:///')) {
|
||||
path = path.replace('file:///', '');
|
||||
}
|
||||
|
||||
let authority = _empty;
|
||||
|
||||
// normalize to fwd-slashes on windows,
|
||||
|
@ -324,7 +328,7 @@ export class URI implements UriComponents {
|
|||
}
|
||||
}
|
||||
|
||||
return new Uri('file', authority, path, _empty, _empty);
|
||||
return new Uri('file', authority, percentDecode(path), _empty, _empty);
|
||||
}
|
||||
|
||||
static from(components: { scheme: string; authority?: string; path?: string; query?: string; fragment?: string }): URI {
|
||||
|
|
|
@ -316,7 +316,7 @@ export abstract class AbstractProblemCollector implements IDisposable {
|
|||
if (markers.size !== reported.get(resource)) {
|
||||
let toSet: IMarkerData[] = [];
|
||||
markers.forEach(value => toSet.push(value));
|
||||
this.markerService.changeOne(owner, URI.parse(resource), toSet);
|
||||
this.markerService.changeOne(owner, URI.file(resource), toSet);
|
||||
reported.set(resource, markers.size);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue