rem:  /* 
context: function doSelectAll(){	// XXX once selectAll() is implemented, use that/*	var treeNode = document.getElementById("bookmarksTree");	if (!treeNode)    return(false);	treeNode.selectAll();*/	return(true);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/626e6a519c2792e00df13ded020ee0d1d0076dbb/bookmarks.js/buggy/suite/common/bookmarks/bookmarks.js