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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/95f3318af21294edac6197bd328e65f04f4265d4/search-panel.js/clean/xpfe/components/search/resources/search-panel.js