function searchHistory(aInput){  if (aInput) {    if (!gSearching) {      // Unset grouping when searching; applyFilter will update the view      var options = gHistoryTree.getResult().root.queryOptions;      options.setGroupingMode([], 0);      gSearching = true;    }  }  else {    // applyFilter will update the view    var options = gHistoryTree.getResult().root.queryOptions;    SetSortingAndGrouping(options);    gSearching = false;  }  gHistoryTree.applyFilter(aInput, false /* onlyBookmarks */,                            null /* folderRestrict */, null); }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/7f25642ab821ff8cb71fff4e19091bd9af7801eb/history-panel.js/clean/browser/components/places/content/history-panel.js