fix Firefox spinner scroller

Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>

diff --git a/Toolkit.js b/Toolkit.js
index 6956a8e14f5300b097ece5ff905d89c3568ddec3..538db3af28a1b86d6518dafe0ccb176c2865c091 100644 (file)
--- 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) {