add: if (user_threshold_orig == -9 || user_highlightthresh_orig == -9) { user_threshold_orig = user_threshold; user_highlightthresh_orig = user_highlightthresh; }     
context: function finishLoading() {	if (is_firefox) {		loadAllElements('div');		loadAllElements('li');		loadAllElements('a');	}	if (root_comment)		currents['full'] += 1;	for (var i = 0; i < root_comments.length; i++) {		root_comments_hash[ root_comments[i] ] = 1;	}	updateTotals();	setPadding();	enableControls();}
meta: 4674	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4674/583aa3960d03b3b8d7bd18a943284f6938701d83/comments.js/buggy/themes/slashcode/htdocs/images/comments.js