From f96c03c846979d0bb622303abba81d19b5e656e2 Mon Sep 17 00:00:00 2001
From: Andrew Pareles <andrewpareles@gmail.com>
Date: Thu, 9 Jan 2025 03:55:16 -0800
Subject: [PATCH] fix scroll ctrlK

---
 src/vs/workbench/contrib/void/browser/inlineDiffsService.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/vs/workbench/contrib/void/browser/inlineDiffsService.ts b/src/vs/workbench/contrib/void/browser/inlineDiffsService.ts
index 751b0fd5..ab6d0c67 100644
--- a/src/vs/workbench/contrib/void/browser/inlineDiffsService.ts
+++ b/src/vs/workbench/contrib/void/browser/inlineDiffsService.ts
@@ -340,6 +340,7 @@ class InlineDiffsService extends Disposable implements IInlineDiffsService {
 				domNode: domNode,
 				heightInPx: 52,
 				suppressMouseDown: false,
+				showInHiddenAreas: true,
 			};
 			viewZone_ = viewZone
 
@@ -362,6 +363,7 @@ class InlineDiffsService extends Disposable implements IInlineDiffsService {
 					},
 					onChangeHeight(height) {
 						if (height === undefined) return
+						if (height === 0) return // if hidden, height is set to 0 creating a jumpy scroll. ignore
 						viewZone.heightInPx = height
 						// re-render with this new height
 						editor.changeViewZones(accessor => {
@@ -457,6 +459,7 @@ class InlineDiffsService extends Disposable implements IInlineDiffsService {
 						domNode: domNode,
 						marginDomNode: document.createElement('div'), // displayed to left
 						suppressMouseDown: true,
+						showInHiddenAreas: true,
 					};
 
 					let zoneId: string | null = null