Fixes diff editor rendering bug

This commit is contained in:
Henning Dieterichs
2024-07-22 21:08:12 +02:00
committed by Henning Dieterichs
parent 54f90d6df0
commit 709d1b879a
@@ -71,7 +71,9 @@ export class DiffEditorOptions {
public readonly showEmptyDecorations = derived(this, reader => this._options.read(reader).experimental.showEmptyDecorations!);
public readonly onlyShowAccessibleDiffViewer = derived(this, reader => this._options.read(reader).onlyShowAccessibleDiffViewer);
public readonly compactMode = derived(this, reader => this._options.read(reader).compactMode);
public readonly useTrueInlineDiffRendering = derived(this, reader => this._options.read(reader).experimental.useTrueInlineView!);
public readonly useTrueInlineDiffRendering: IObservable<boolean> = derived(this, reader =>
!this.renderSideBySide.read(reader) && this._options.read(reader).experimental.useTrueInlineView!
);
public readonly hideUnchangedRegions = derived(this, reader => this._options.read(reader).hideUnchangedRegions.enabled!);
public readonly hideUnchangedRegionsRevealLineCount = derived(this, reader => this._options.read(reader).hideUnchangedRegions.revealLineCount!);