This commit is contained in:
Alex Dima 2019-10-12 00:35:35 +02:00
parent 34e03dda66
commit c8fe7709a7
No known key found for this signature in database
GPG key ID: 6E58D7B045760DA0

View file

@ -998,7 +998,6 @@ export class DiffEditorWidget extends Disposable implements editorBrowser.IDiffE
private _adjustOptionsForLeftHandSide(options: IDiffEditorOptions, isEditable: boolean): IEditorOptions {
let result = this._adjustOptionsForSubEditor(options);
result.readOnly = !isEditable;
result.overviewRulerLanes = 1;
result.extraEditorClassName = 'original-in-monaco-diff-editor';
return result;
}