rem: this.zoomGraphLeft = 0; this.zoomGraphTop = 0; this.zoomGraphRight = 0; this.zoomGraphBottom = 0; this.zoomGraphWidth = 0; this.zoomGraphHeight = 0; 
add: this.zoomBoxLeft = 0; this.zoomBoxTop = 0; this.zoomBoxRight = 0; this.zoomBoxBottom = 0; this.zoomBoxWidth = 0; this.zoomBoxHeight = 0; 
context: function zoomGraphObj(zoomGraphName) {// We use 3 zones. The first (zoomGraph) represent the entire graph image.// The second (zoomBox) represent the graph itself.// The last zone (zoomSensitiveZone) represent the area where the user can// launch the zoom function this.zoomGraphName = zoomGraphName; this.imgObject = document.getElementById(this.zoomGraphName); gUrlObj = new urlObj(this.imgObject.src);// document.write("<h1>foo: " + gUrlObj + "</h1><br/>\n"); this.zoomGraphLeft = 0; this.zoomGraphTop = 0; this.zoomGraphRight = 0; this.zoomGraphBottom = 0; this.zoomGraphWidth = 0; this.zoomGraphHeight = 0; this.zoomBoxLeft = 0; this.zoomBoxTop = 0; this.zoomBoxRight = 0; this.zoomBoxBottom = 0; this.zoomBoxWidth = 0; this.zoomBoxHeight = 0; this.zoomSensitiveZoneLeft = 0; this.zoomSensitiveZoneTop = 0; this.zoomSensitiveZoneRight = 0; this.zoomSensitiveZoneBottom = 0; this.zoomSensitiveZoneWith = 0; this.zoomSensitiveZoneHeight = 0; this.refresh = zoomGraphObjRefresh; this.drawSelection = zoomGraphObjDrawSelection; this.refresh();}
meta: 2281	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2281/0d1028ec95a4888d5783d937fca359af6dd38018/domainZoom.js/buggy/src/web/web/js/domainZoom.js