From 6cbf4d1fb0ebaa84e6953857c37d8d1244c03189 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Valim?= Date: Mon, 12 Apr 2021 13:04:54 +0200 Subject: [PATCH] Set alwaysConsumeMouseWheel to false instead of disabling it --- assets/js/cell/live_editor.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assets/js/cell/live_editor.js b/assets/js/cell/live_editor.js index 121fef198..5e053037c 100644 --- a/assets/js/cell/live_editor.js +++ b/assets/js/cell/live_editor.js @@ -72,7 +72,7 @@ class LiveEditor { value: this.source, scrollbar: { vertical: "hidden", - handleMouseWheel: false, + alwaysConsumeMouseWheel: false, }, minimap: { enabled: false,