From 3e41bfbe49c8ba3165dfcd3ab54db75430950774 Mon Sep 17 00:00:00 2001 From: Henning Dieterichs Date: Tue, 26 Mar 2024 19:42:28 +0100 Subject: [PATCH] Fixes #208819 --- .../editor/browser/widget/diffEditor/utils/editorGutter.ts | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/vs/editor/browser/widget/diffEditor/utils/editorGutter.ts b/src/vs/editor/browser/widget/diffEditor/utils/editorGutter.ts index 8459f2a1c66..1c3341a73ef 100644 --- a/src/vs/editor/browser/widget/diffEditor/utils/editorGutter.ts +++ b/src/vs/editor/browser/widget/diffEditor/utils/editorGutter.ts @@ -118,10 +118,12 @@ export class EditorGutter extends D gutterItem.range.startLineNumber <= this._editor.getModel()!.getLineCount() ? this._editor.getTopForLineNumber(gutterItem.range.startLineNumber, true) - scrollTop : this._editor.getBottomForLineNumber(gutterItem.range.startLineNumber - 1, false) - scrollTop; - const bottom = this._editor.getBottomForLineNumber(gutterItem.range.endLineNumberExclusive - 1, true) - scrollTop; + const bottom = gutterItem.range.isEmpty + // Don't trust that `getBottomForLineNumber` for the previous line equals `getTopForLineNumber` for the current one. + ? top + : (this._editor.getBottomForLineNumber(gutterItem.range.endLineNumberExclusive - 1, true) - scrollTop); const height = bottom - top; - view.domNode.style.top = `${top}px`; view.domNode.style.height = `${height}px`;