rem: gBookmarkTree.setAttribute("height", gBookmarkTree.boxObject.height); 
add: gBookmarksTree.setAttribute("height", gBookmarksTree.boxObject.height); 
context: function setFolderTreeHeight(){  var isCollapsed = gBookmarkTree.collapsed;  if (!isCollapsed)    gBookmarkTree.setAttribute("height", gBookmarkTree.boxObject.height);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/00de4479206446cee765f3a13178af4ec6d270fd/addBookmark2.js/clean/browser/components/bookmarks/content/addBookmark2.js