rem: this.defaultMouseUp(evt); 
add: if (this.zoomBox) { this.removeZoomBox(); } this.mouseDragStart = null; 
context:     defaultMouseOut: function (evt) {        if (this.mouseDragStart != null            && OpenLayers.Util.mouseLeft(evt, this.map.div)) {                this.defaultMouseUp(evt);        }    },
meta: 4411	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4411/1a0c538833b09e77fee2ee5de8cae2264104e987/MouseDefaults.js/clean/lib/OpenLayers/Control/MouseDefaults.js