Fixes gutter from capturing mouse wheel

This commit is contained in:
Henning Dieterichs
2024-03-21 15:58:37 +01:00
committed by Henning Dieterichs
parent 2a14ad4b71
commit cc0b99cf22
@@ -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 }));