rem: var minX = Math.min(x1, x2); var maxX = Math.max(x1, x2) + 1; var minY = Math.min(y1, y2); var maxY = Math.max(y1, y2) + 1;  divObject = document.getElementById(cZoomBoxName); divObject.style.clip ="rect(" + minY + "px " + maxX + "px " + maxY + "px " + minX + "px)"; 
add: divObject = document.getElementById(cZoomBoxName); divObject.style.clip ="rect(" + minY + "px " + maxX + "px " + maxY + "px " + minX + "px)"; 
context: function zoomGraphObjDrawSelection (x1, y1, x2, y2) { var cZoomBoxName = "zoomBox"; var divObject;// Calculate relative to zoomBox x1 = x1 - this.zoomBoxLeft; x2 = x2 - this.zoomBoxLeft; y1 = y1 - this.zoomBoxTop; y2 = y2 - this.zoomBoxTop; var minX = Math.min(x1, x2); var maxX = Math.max(x1, x2) + 1; var minY = Math.min(y1, y2); var maxY = Math.max(y1, y2) + 1; divObject = document.getElementById(cZoomBoxName); divObject.style.clip ="rect(" + minY + "px " + maxX + "px " + maxY + "px " + minX + "px)";}
meta: 8692	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8692/0d1028ec95a4888d5783d937fca359af6dd38018/domainZoom.js/clean/src/web/web/js/domainZoom.js