rem: gZoomGraphObj.refresh(); 
add: gZoomGraphObj.refresh(); 
context: function windowOnResizeEvent() { gZoomGraphObj.refresh();}
meta: 3303	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3303/0d1028ec95a4888d5783d937fca359af6dd38018/domainZoom.js/clean/src/web/web/js/domainZoom.js