rem: editor._timerToolbar = setTimeout(function() { editor.updateToolbar(); editor._timerToolbar = null; }, 50); 
add: function (str, l1, l2, l3) { return l1 + "-" + l2.toLowerCase() + l3; }).toLowerCase() + ".js"; 
context: 	editor._timerToolbar = setTimeout(function() {		editor.updateToolbar();		editor._timerToolbar = null;	}, 50);
meta: 7119	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7119/25a8b4ec79bdd65c7e50216b7ea058ea682797c5/htmlarea.js/clean/phpgwapi/js/htmlarea/htmlarea.js