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