rem: if( aNode.checked ) aNode.setAttribute( "checked", "1" ); else aNode.removeAttribute( "checked" ); saveEngines( document.getElementById("categoryList") ) 
add: saveEngines( document.getElementById("categoryList") ) 
context: function doCheck( aNode ){	if( aNode.checked )		aNode.setAttribute( "checked", "1" );	else		aNode.removeAttribute( "checked" );  saveEngines( document.getElementById("categoryList") )	return false;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/398c12797945c3065589a1bc718e693a4636aba5/search-panel.js/clean/xpfe/components/search/resources/search-panel.js