From c9e9cbc7c8195e300575bb17eda1294f1793b044 Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Wed, 19 Feb 2014 10:07:46 +0100
Subject: [PATCH] Change ol.dom.Input target param from Element to
 HTMLInputElement

---
 src/ol/dom/input.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/ol/dom/input.js b/src/ol/dom/input.js
index 6bf1f5c4ce..004fcae5f2 100644
--- a/src/ol/dom/input.js
+++ b/src/ol/dom/input.js
@@ -37,9 +37,9 @@ ol.dom.Input = function(target) {
 
   /**
    * @private
-   * @type {Element}
+   * @type {HTMLInputElement}
    */
-  this.target_ = target;
+  this.target_ = /** @type {HTMLInputElement} */ (target);
 
   goog.events.listen(this.target_, goog.events.EventType.CHANGE,
       this.handleInputChanged_, false, this);
@@ -127,7 +127,7 @@ ol.dom.Input.prototype.handleInputChanged_ = function() {
  * @private
  */
 ol.dom.Input.prototype.handleCheckedChanged_ = function() {
-  this.target_.checked = this.getChecked();
+  this.target_.checked = /** @type {boolean} */ (this.getChecked());
 };
 
 
@@ -135,5 +135,5 @@ ol.dom.Input.prototype.handleCheckedChanged_ = function() {
  * @private
  */
 ol.dom.Input.prototype.handleValueChanged_ = function() {
-  this.target_.value = this.getValue();
+  this.target_.value =  /** @type {string} */ (this.getValue());
 };