diff options
Diffstat (limited to 'src/vs/workbench/parts/markers/browser/markersPanel.ts')
| -rw-r--r-- | src/vs/workbench/parts/markers/browser/markersPanel.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/vs/workbench/parts/markers/browser/markersPanel.ts b/src/vs/workbench/parts/markers/browser/markersPanel.ts index 7896ae60685..17d1e7cc94f 100644 --- a/src/vs/workbench/parts/markers/browser/markersPanel.ts +++ b/src/vs/workbench/parts/markers/browser/markersPanel.ts @@ -217,7 +217,7 @@ export class MarkersPanel extends Panel { this._register(attachListStyler(this.tree, this.themeService)); - this._register(this.tree.addListener('focus', (e: { focus: any }) => { + this._register(this.tree.onDidChangeFocus((e: { focus: any }) => { this.markerFocusContextKey.set(e.focus instanceof Marker); })); @@ -249,7 +249,7 @@ export class MarkersPanel extends Panel { private createListeners(): void { this.toUnbind.push(this.markerService.onMarkerChanged(this.onMarkerChanged, this)); this.toUnbind.push(this.editorGroupService.onEditorsChanged(this.onEditorsChanged, this)); - this.toUnbind.push(this.tree.addListener('selection', () => this.onSelected())); + this.toUnbind.push(this.tree.onDidChangeSelection(() => this.onSelected())); } private onMarkerChanged(changedResources: URI[]) { |