From 3bd37115d1f3ff0649ddc992e94fad197518278c Mon Sep 17 00:00:00 2001 From: Megan Rogge Date: Tue, 19 Apr 2022 08:49:16 -0700 Subject: [PATCH] queue refresh when deco is removed (#3738) --- src/browser/Decorations/OverviewRulerRenderer.ts | 1 + src/common/services/DecorationService.ts | 1 + 2 files changed, 2 insertions(+) diff --git a/src/browser/Decorations/OverviewRulerRenderer.ts b/src/browser/Decorations/OverviewRulerRenderer.ts index f34338ce..dc35b901 100644 --- a/src/browser/Decorations/OverviewRulerRenderer.ts +++ b/src/browser/Decorations/OverviewRulerRenderer.ts @@ -74,6 +74,7 @@ export class OverviewRulerRenderer extends Disposable { */ private _registerDecorationListeners(): void { this.register(this._decorationService.onDecorationRegistered(() => this._queueRefresh(undefined, true))); + this.register(this._decorationService.onDecorationRemoved(() => this._queueRefresh(undefined, true))); } /** diff --git a/src/common/services/DecorationService.ts b/src/common/services/DecorationService.ts index fba5fc35..03cfab4d 100644 --- a/src/common/services/DecorationService.ts +++ b/src/common/services/DecorationService.ts @@ -35,6 +35,7 @@ export class DecorationService extends Disposable implements IDecorationService const index = this._decorations.indexOf(decoration); if (index >= 0) { this._decorations.splice(this._decorations.indexOf(decoration), 1); + this._onDecorationRemoved.fire(decoration); } } });