src/vs/workbench/browser/labels.ts/ResourceLabelWidget/notifyVisibilityChanged
class ResourceLabelWidget:	notifyVisibilityChanged(visible: boolean): void {
		if (visible === this.isHidden) {
			this.isHidden = !visible;

			if (visible && this.needsRedraw) {
				this.render(this.needsRedraw === Redraw.Basic ? false : true);
				this.needsRedraw = undefined;
			}
		}
	}