From df1008bc626078b833e19b50537c18b6792a0a6d Mon Sep 17 00:00:00 2001
From: Philipp Spitzer <philipp@spitzer.priv.at>
Date: Sat, 2 Jan 2021 12:04:38 +0100
Subject: [PATCH] Prevent map zooming with mouse wheel.

---
 wrmap.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/wrmap.js b/wrmap.js
index ab45a89..de22a91 100644
--- a/wrmap.js
+++ b/wrmap.js
@@ -351,6 +351,9 @@ function init_wrmap(i, jq_map) {
 			attributionOptions: {
 				collapsible: false
 			}
+		}),
+		interactions: ol.interaction.defaults({
+			mouseWheelZoom: false
 		})
 	});
 
-- 
2.39.5