src/vs/editor/browser/widget/diffEditorWidget.ts/DiffEditorWidget/hasTextFocus
class DiffEditorWidget:	public hasTextFocus(): boolean {
		return this._originalEditor.hasTextFocus() || this._modifiedEditor.hasTextFocus();
	}