rem: removeformat:  [ "Remove formatting", ["ed_buttons_main.gif",4,4], false, function(e) {e.execCommand("removeformat");} ], 
add: setTimeout(function() { editor.updateToolbar(); }, 250); 
context:     removeformat:  [ "Remove formatting", ["ed_buttons_main.gif",4,4], false, function(e) {e.execCommand("removeformat");} ],
meta: 6230	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6230/70e7091322d161ad5e2256481886617b9211a07f/htmlarea.js/buggy/phpgwapi/js/htmlarea/htmlarea.js