Elgato_dark/void
1
0
Fork 0
mirror of https://github.com/voideditor/void synced 2026-05-24 09:58:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix scroll ctrlK

Browse source
This commit is contained in:
Andrew Pareles 2025-01-09 03:55:16 -08:00
parent fed865e753
commit f96c03c846
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/vs/workbench/contrib/void/browser/inlineDiffsService.ts
View file

@ -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