rem: function refresh_nav() { window.setTimeout('_refresh_nav();',0); } 
add: function refresh_nav() { window.setTimeout('Tree.refresh();',0); } 
context: function refresh_nav() { window.setTimeout('_refresh_nav();',0); }
meta: 9100	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9100/a5c392f8a89f94acb03b90d14d08e34591ac1082/tree.js/buggy/typo3/tree.js