diffReview: make underlying diff editor readonly

fixes #94199
This commit is contained in:
isidor 2020-05-15 16:59:21 +02:00
parent 33187ab34e
commit 7309285b3c

View file

@ -269,6 +269,7 @@ export class DiffReview extends Disposable {
private hide(): void {
this._isVisible = false;
this._diffEditor.updateOptions({ readOnly: false });
this._diffEditor.focus();
this._diffEditor.doLayout();
this._render();
@ -541,6 +542,7 @@ export class DiffReview extends Disposable {
return;
}
this._diffEditor.updateOptions({ readOnly: true });
const diffIndex = this._findDiffIndex(this._diffEditor.getPosition()!);
if (this._diffs[diffIndex] === this._currentDiff) {