src/vs/editor/browser/widget/diffEditorWidget.ts/DiffEditorWidget/ignoreTrimWhitespace
class DiffEditorWidget:	public get ignoreTrimWhitespace(): boolean {
		return this._options.ignoreTrimWhitespace;
	}