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