diff --git a/src/browser/Decorations/OverviewRulerRenderer.ts b/src/browser/Decorations/OverviewRulerRenderer.ts index f34338cee5..dc35b901f7 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 fba5fc356b..03cfab4d5d 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); } } });