rem: function setAttrib(element, name, value, no_fix_value) { if (!no_fix_value && value != null) { var re = new RegExp('[^0-9%]', 'g'); value = value.replace(re, ''); }  
add: function setAttrib(element, name, value) { 
context: 	function setAttrib(element, name, value, no_fix_value) {		if (!no_fix_value && value != null) {			var re = new RegExp('[^0-9%]', 'g');			value = value.replace(re, '');		}		if (value != null && value != "")			element.setAttribute(name, value);		else			element.removeAttribute(name);	}
meta: 5314	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5314/873ce1c62e52365d732f67421272ae1302559b15/tiny_mce_src.js/buggy/www/extras/tinymce/jscripts/tiny_mce/tiny_mce_src.js