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();