From cc0b99cf22a3b5f67f095533f2c6b7fe1794de17 Mon Sep 17 00:00:00 2001 From: Henning Dieterichs Date: Thu, 21 Mar 2024 15:43:07 +0100 Subject: [PATCH] Fixes gutter from capturing mouse wheel --- .../editor/browser/widget/diffEditor/features/gutterFeature.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/editor/browser/widget/diffEditor/features/gutterFeature.ts b/src/vs/editor/browser/widget/diffEditor/features/gutterFeature.ts index 0c1779f0319..acfc2b0c917 100644 --- a/src/vs/editor/browser/widget/diffEditor/features/gutterFeature.ts +++ b/src/vs/editor/browser/widget/diffEditor/features/gutterFeature.ts @@ -98,7 +98,7 @@ export class DiffEditorGutter extends Disposable { })); this._register(addDisposableListener(this.elements.gutter, EventType.MOUSE_WHEEL, (e: IMouseWheelEvent) => { - if (!this._editors.modified.getOption(EditorOption.scrollbar).handleMouseWheel) { + if (this._editors.modified.getOption(EditorOption.scrollbar).handleMouseWheel) { this._editors.modified.delegateScrollFromMouseWheelEvent(e); } }, { passive: false }));