From 30076ed6ccaae320649f4675b826aff83d082500 Mon Sep 17 00:00:00 2001
From: Thomas Lamprecht <t.lamprecht@proxmox.com>
Date: Sat, 11 Jan 2020 15:58:11 +0100
Subject: [PATCH] fix Firefox spinner scroller

Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>
---
 Toolkit.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Toolkit.js b/Toolkit.js
index 6956a8e..538db3a 100644
--- a/Toolkit.js
+++ b/Toolkit.js
@@ -3,6 +3,11 @@
  // do not send '_dc' parameter
 Ext.Ajax.disableCaching = false;
 
+// FIXME: HACK! Makes scrolling in number spinner work again. fixed in ExtJS >= 6.1
+if (Ext.isFirefox) {
+    Ext.$eventNameMap.DOMMouseScroll = 'DOMMouseScroll';
+}
+
 // custom Vtypes
 Ext.apply(Ext.form.field.VTypes, {
     IPAddress:  function(v) {