From c0c15d3f901ee468363808b9080557d2ffa2044e Mon Sep 17 00:00:00 2001 From: Benjamin Pasero Date: Thu, 20 Dec 2018 10:39:38 +0100 Subject: [PATCH] labels - enable visibility again --- src/vs/workbench/browser/labels.ts | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/vs/workbench/browser/labels.ts b/src/vs/workbench/browser/labels.ts index f802e31f751..3740d5fc2c3 100644 --- a/src/vs/workbench/browser/labels.ts +++ b/src/vs/workbench/browser/labels.ts @@ -240,14 +240,14 @@ class ResourceLabelWidget extends IconLabel { } notifyVisibilityChanged(visible: boolean): void { - // if (visible === this.isHidden) { - // this.isHidden = !visible; + if (visible === this.isHidden) { + this.isHidden = !visible; - // if (visible && this.needsRedraw) { - // this.render(this.needsRedraw === Redraw.Basic ? false : true); - // this.needsRedraw = void 0; - // } - // } + if (visible && this.needsRedraw) { + this.render(this.needsRedraw === Redraw.Basic ? false : true); + this.needsRedraw = void 0; + } + } } notifyModelModeChanged(e: { model: ITextModel; oldModeId: string; }): void {