labels - disable visibility for now
parent
6bbf94c2f1
commit
2803a8655c
|
@ -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 {
|
||||
|
|
Loading…
Reference in New Issue