rem: gSelectedFolder = gBookmarksTree._selection.item[0]; gMenulist.label = BookmarksUtils.getProperty(gSelectedFolder, NC_NS+"Name"); 
add: var resource = gBookmarksTree.currentResource; if (resource == gSelectedFolder) return; gSelectedFolder = resource; var menuitem = document.getElementById(gSelectedFolder.Value); gMenulist.selectedItem = menuitem; if (!menuitem) gMenulist.label = BookmarksUtils.getProperty(gSelectedFolder, NC_NS+"Name"); 
context: function selectTreeFolder(){  gSelectedFolder = gBookmarksTree._selection.item[0];  gMenulist.label = BookmarksUtils.getProperty(gSelectedFolder, NC_NS+"Name");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/4e8868b6ae61f2a08a05c335c10c5e46dc176819/addBookmark2.js/clean/browser/components/bookmarks/content/addBookmark2.js