src/vs/workbench/contrib/notebook/browser/diff/diffElementViewModel.ts/DiffElementViewModelBase/editorHeight
class DiffElementViewModelBase:	set editorHeight(height: number) {
		this._layout({ editorHeight: height });
	}