rem: (user_threshold_orig != user_threshold) 
add: ((user_threshold_orig != user_threshold) 
context: function savePrefs() {	if (!user_is_anon		&&	    (user_threshold_orig != user_threshold)		||	    (user_highlightthresh_orig != user_highlightthresh)	) {		var params = [];		params['op'] = 'comments_set_prefs';		params['threshold'] = user_threshold;		params['highlightthresh'] = user_highlightthresh;		params['reskey'] = reskey_static;		ajax_update(params);		user_threshold_orig = user_threshold;		user_highlightthresh_orig = user_highlightthresh;	}	return false;}
meta: 200	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/200/4b4ebcbd0113b4ec9002204e9a1419f287cbbbe4/comments.js/clean/themes/slashcode/htdocs/images/comments.js