src/vs/editor/browser/config/editorConfiguration.ts/EditorConfiguration/setReservedHeight
class EditorConfiguration:	public setReservedHeight(reservedHeight: number) {
		if (this._reservedHeight === reservedHeight) {
			return;
		}
		this._reservedHeight = reservedHeight;
		this._recomputeOptions();
	}