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