From a97d882e3c0ff4c38b7158b4bf6bb8d5848f9176 Mon Sep 17 00:00:00 2001 From: Alan Ren Date: Mon, 8 May 2023 15:49:00 -0700 Subject: [PATCH] fix #174264 (#174845) (#23027) (#23034) Co-authored-by: Sandeep Somavarapu --- src/vs/workbench/contrib/markers/browser/markersTreeViewer.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/contrib/markers/browser/markersTreeViewer.ts b/src/vs/workbench/contrib/markers/browser/markersTreeViewer.ts index c0ce088369..9b62a6b7ae 100644 --- a/src/vs/workbench/contrib/markers/browser/markersTreeViewer.ts +++ b/src/vs/workbench/contrib/markers/browser/markersTreeViewer.ts @@ -383,10 +383,10 @@ class MarkerWidget extends Disposable { const codeMatches = filterData && filterData.codeMatches || []; code.set(marker.code, codeMatches); } else { - // TODO@sandeep: these widgets should be disposed const container = dom.$('.marker-code'); const code = new HighlightedLabel(container); - new Link(parent, { href: marker.code.target.toString(), label: container, title: marker.code.target.toString() }, undefined, this._openerService); + const link = marker.code.target.toString(true); + this.disposables.add(new Link(parent, { href: link, label: container, title: link }, undefined, this._openerService)); const codeMatches = filterData && filterData.codeMatches || []; code.set(marker.code.value, codeMatches); }