rem: dump("nothing selected!\n"); 
add: debug("nothing selected!\n"); 
context: function BookmarkProperties(){	var treeNode = document.getElementById('bookmarksTree');//	var select_list = treeNode.getElementsByAttribute("selected", "true");	var select_list = treeNode.selectedItems;	if (select_list.length >= 1)	{		// don't bother showing properties on bookmark separators		var type = select_list[0].getAttribute('type');		if (type != "http://home.netscape.com/NC-rdf#BookmarkSeparator")		{			var props = window.open("chrome://bookmarks/content/bm-props.xul",						"BookmarkProperties", "chrome, menubar");			props.BookmarkURL = select_list[0].getAttribute("id");		}	}	else	{		dump("nothing selected!\n"); 	}	return(true);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/6197c55530dd458e95a4a1648fc63abe759aa780/bookmarks.js/buggy/xpfe/components/bookmarks/resources/bookmarks.js