Change 'Element' type to 'HTMLElement'

2018-06-29 09:19:00 +02:00
parent 0c300d651f
commit 8c4c70e9f0
4 changed files with 26 additions and 26 deletions
--- a/src/ol/control/ScaleLine.js
+++ b/src/ol/control/ScaleLine.js
@@ -72,14 +72,14 @@ const ScaleLine = function(opt_options) {

  /**
   * @private
-   * @type {Element}
+   * @type {HTMLElement}
   */
  this.innerElement_ = document.createElement('DIV');
  this.innerElement_.className = className + '-inner';

  /**
   * @private
-   * @type {Element}
+   * @type {HTMLElement}
   */
  this.element_ = document.createElement('DIV');
  this.element_.className = className + ' ' + CLASS_UNSELECTABLE;