labels - enable visibility again

pull/65474/head
Benjamin Pasero 2018-12-20 10:39:38 +01:00
parent d457e508b9
commit c0c15d3f90
1 changed files with 7 additions and 7 deletions

View File

@ -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 {