src/vs/editor/browser/widget/embeddedCodeEditorWidget.ts/EmbeddedDiffEditorWidget/_onParentConfigurationChanged
class EmbeddedDiffEditorWidget:	private _onParentConfigurationChanged(e: ConfigurationChangedEvent): void {
		super.updateOptions(this._parentEditor.getRawOptions());
		super.updateOptions(this._overwriteOptions);
	}