rem:  HTMLArea._removeClass(el, className); el.className += " " + className; 
add:  HTMLArea._removeClass(el, className); el.className += " " + className; 
context: HTMLArea._addClass = function(el, className) {  // remove the class first, if already there  HTMLArea._removeClass(el, className);  el.className += " " + className;};
meta: 7119	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7119/4d968a51f578e3361a382d6fa8372e519c47ba55/htmlarea.js/clean/phpgwapi/js/htmlarea/htmlarea.js