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