Revive TimelineChangeEvent.uri if passed in TimelineProvider.onDidChange event (#212927)

This commit is contained in:
John Murray
2024-05-17 15:00:00 +01:00
committed by GitHub
parent 577eca457b
commit 8a5f332461
@@ -418,7 +418,7 @@ export class TimelinePane extends ViewPane {
}
private onTimelineChanged(e: TimelineChangeEvent) {
if (e?.uri === undefined || this.uriIdentityService.extUri.isEqual(e.uri, this.uri)) {
if (e?.uri === undefined || this.uriIdentityService.extUri.isEqual(URI.revive(e.uri), this.uri)) {
const timeline = this.timelinesBySource.get(e.id);
if (timeline === undefined) {
return;