From 552f9483cb28ac088701facb338b265a91545376 Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Mon, 17 Nov 2014 10:10:04 +0100
Subject: [PATCH] Revert "Remove mousewheel event name workaround"

This reverts commit 20ce6640688ade1398f15f1ebca299859d497c8b.

Reverted upstream: https://github.com/google/closure-library/commit/4ee0daca0ec1bea486ab670310a6e9bdbaaad720
---
 src/ol/map.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ol/map.js b/src/ol/map.js
index 95e4acfca4..f7621f3ca8 100644
--- a/src/ol/map.js
+++ b/src/ol/map.js
@@ -265,7 +265,7 @@ ol.Map = function(options) {
     goog.events.EventType.TOUCHSTART,
     goog.events.EventType.MSPOINTERDOWN,
     ol.MapBrowserEvent.EventType.POINTERDOWN,
-    goog.events.EventType.MOUSEWHEEL
+    goog.userAgent.GECKO ? 'DOMMouseScroll' : 'mousewheel'
   ], goog.events.Event.stopPropagation);
   goog.dom.appendChild(this.viewport_, this.overlayContainerStopEvent_);