rem: update['window-scale-right'](); update['window-scale-bottom'](); 
add: if( __event ) { var height = __event.pageY - top_delta; if( height > min_height ) { current_style.height = ( current_id.height = height ) + 'px'; focus_catcher_focus(); } } 
context:   update['window-scale-bottom-right'] = function()  {    update['window-scale-right']();    update['window-scale-bottom']();  }
meta: 7593	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7593/b6b285deb859c02df5f4422053e63b11338b0112/html_windows.js/clean/src/scripts/html_windows.js