From 03b979c30a709f62f858072fa69d47e5532256d4 Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Wed, 19 Feb 2014 10:34:25 +0100
Subject: [PATCH] Listen to 'input' and 'change' events

---
 src/ol/dom/input.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ol/dom/input.js b/src/ol/dom/input.js
index d8d38fc3ca..45ab97ff5b 100644
--- a/src/ol/dom/input.js
+++ b/src/ol/dom/input.js
@@ -42,7 +42,8 @@ ol.dom.Input = function(target) {
    */
   this.target_ = /** @type {HTMLInputElement} */ (target);
 
-  goog.events.listen(this.target_, goog.events.EventType.CHANGE,
+  goog.events.listen(this.target_,
+      [goog.events.EventType.CHANGE, goog.events.EventType.INPUT],
       this.handleInputChanged_, false, this);
 
   goog.events.listen(this,