Ticket #1593: 1593-r7375-A0.patch

lib/OpenLayers/Handler/Box.js

@@ -92 +92 @@
-        this.zoomBox.style.height = Math.max(1, deltaY) + "px";
-        this.zoomBox.style.left = xy.x < startX ? xy.x+"px" : startX+"px";
-        this.zoomBox.style.top = xy.y < startY ? xy.y+"px" : startY+"px";
+
+        // depending on the box model, modify width and height to take borders
+        // of the box into account
+        var dimensions = OpenLayers.Element.getDimensions(this.zoomBox);
+        if (dimensions.width != deltaX || dimensions.height != deltaY) {
+            var offsetX = parseInt(OpenLayers.Element.getStyle(this.zoomBox,
+                "border-left-width")) + parseInt(OpenLayers.Element.getStyle(
+                this.zoomBox, "border-right-width"));
+            var offsetY = parseInt(OpenLayers.Element.getStyle(this.zoomBox,
+                "border-top-width")) + parseInt(OpenLayers.Element.getStyle(
+                this.zoomBox, "border-bottom-width"));
+            this.zoomBox.style.width = Math.max(1, deltaX - offsetX) + "px";
+            this.zoomBox.style.height = Math.max(1, deltaY - offsetY) + "px";
+        }
-    },
-
-    /**