rem: console.log("Updating frame height for " + frameID); setMainFrameHeight(frameID); 
add: setMainFrameHeightFixed(document, frameID); setFocus(focus_path); 
context:       function() {        console.log("Updating frame height for " + frameID);        setMainFrameHeight(frameID);        });
meta: 9214	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9214/05cda1fd921c0d1c7e087ea9d4a3456f033206cd/rsfsakaiportal.js/clean/SakaiRSFComponents/templates/src/webapp/content/js/rsfsakaiportal.js