Give each source file a unique name

2012-10-25 19:03:04 +02:00
parent af872e25c3
commit e5d39724c9
31 changed files with 0 additions and 0 deletions
@@ -0,0 +1,42 @@
+goog.provide('ol.interaction.DblClickZoom');
+
+goog.require('ol.MapBrowserEvent');
+goog.require('ol.MapBrowserEvent.EventType');
+goog.require('ol.interaction.Interaction');
+
+
+
+/**
+ * @constructor
+ * @extends {ol.interaction.Interaction}
+ * @param {number} delta The zoom delta applied on each double click.
+ */
+ol.interaction.DblClickZoom = function(delta) {
+  /**
+   * @private
+   * @type {number}
+   */
+  this.delta_ = delta;
+
+  goog.base(this);
+};
+goog.inherits(ol.interaction.DblClickZoom, ol.interaction.Interaction);
+
+
+/**
+ * @inheritDoc
+ */
+ol.interaction.DblClickZoom.prototype.handleMapBrowserEvent =
+    function(mapBrowserEvent) {
+  var browserEvent = mapBrowserEvent.browserEvent;
+  if (mapBrowserEvent.type == ol.MapBrowserEvent.EventType.DBLCLICK &&
+      mapBrowserEvent.isMouseActionButton()) {
+    var map = mapBrowserEvent.map;
+    var anchor = mapBrowserEvent.getCoordinate();
+    var delta = mapBrowserEvent.browserEvent.shiftKey ?
+        -this.delta_ : this.delta_;
+    map.zoom(delta, anchor);
+    mapBrowserEvent.preventDefault();
+    browserEvent.preventDefault();
+  }
+};