rem: oldonload(); 
add: old(); 
context: CodeHighlighter.addStyle = function(name, rules) {	// using push test to disallow older browsers from adding styleSets	if ([].push) this.styleSets.push({		name : name, 		rules : rules,		ignoreCase : arguments[2] || false	})		function setEvent() {		// set highlighter to run on load (use LowPro if present)		if (typeof Event != 'undefined' && typeof Event.onReady == 'function') 		  return Event.onReady(CodeHighlighter.init.bind(CodeHighlighter));				var old = window.onload;				if (typeof window.onload != 'function') {			window.onload = function() { CodeHighlighter.init() };		} else {			window.onload = function() {				oldonload();				CodeHighlighter.init();			}		}	}		// only set the event when the first style is added	if (this.styleSets.length==1) setEvent();}
meta: 9327	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9327/4ee6d3902c04b20b8f48de89d678f463a372a9e3/code_highlighter.js/buggy/code_highlighter.js