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