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: 8310	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8310/c38874b3745030f20fadeecec3f517ed70e9b134/MouseDefaults.js/clean/lib/OpenLayers/Control/MouseDefaults.js