From 6de14a55ed10318f3b6c5b491c462e7c98ae11c1 Mon Sep 17 00:00:00 2001
From: Thomas Lamprecht <t.lamprecht@proxmox.com>
Date: Sat, 7 Nov 2020 13:32:00 +0100
Subject: [PATCH] prune sim: fix numberfield spinner scroll with firefox

copied over from widget toolkit

Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>
---
 docs/prune-simulator/prune-simulator.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/prune-simulator/prune-simulator.js b/docs/prune-simulator/prune-simulator.js
index 2b108675..50eb4e4d 100644
--- a/docs/prune-simulator/prune-simulator.js
+++ b/docs/prune-simulator/prune-simulator.js
@@ -1,3 +1,7 @@
+// FIXME: HACK! Makes scrolling in number spinner work again. fixed in ExtJS >= 6.1
+if (Ext.isFirefox) {
+    Ext.$eventNameMap.DOMMouseScroll = 'DOMMouseScroll';
+}
 
 Ext.onReady(function() {
     const NOW = new Date();