rem: tree.applyFilter(aSearchString, true, 
add: tree.applyFilter(aSearchString, 
context: function searchBookmarks(aSearchString) {  var tree = document.getElementById('bookmarks-view');  if (!aSearchString)    tree.place = tree.place;  else    tree.applyFilter(aSearchString, true,                     [PlacesUtils.bookmarksMenuFolderId,                      PlacesUtils.unfiledBookmarksFolderId,                      PlacesUtils.toolbarFolderId]);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/b7bd2974600bf178c67586f9bb752ad7c5f32c99/bookmarksPanel.js/buggy/browser/components/places/content/bookmarksPanel.js