add:  /* user event */ if( win.onresize ) win.onresize(); 
context:    document.onmouseup = function( event ) {      document.onmousemove = false;   }
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/7a8fe2e7c3da21b722cbd59ca55b8e707b805278/hop-iwindow.js/clean/share/hop-iwindow.js