src/vs/base/browser/fastDomNode.ts/FastDomNode/setHeight
class FastDomNode:	public setHeight(_height: number | string): void {
		const height = numberAsPixels(_height);
		if (this._height === height) {
			return;
		}
		this._height = height;
		this.domNode.style.height = this._height;
	}