doxygen/search/search.js

1 function convertToId(search)
4   for (i=0;i<search.length;i++)
6     var c = search.charAt(i);
52 /* A class handling everything associated with the search panel.
102   // Called when focus is added or removed from the search field.
120       // show search selection popup
132       // show search selection popup
153   // Called when the content of the search field is changed.
186     else if (e.keyCode==27) // Escape out of the search field
199     if (searchValue != this.lastSearchValue) // search value has changed
201       if (searchValue != "") // non-empty search
203         // set timer for search update
207       else // empty search field
254   // Called when an search filter selection is made.
261     if (searchValue!="" && this.searchActive) // something was found -> do a search
304   // Performs a search.
331     else // nothing available for this search term
372   // Activates or deactivates the search panel, resetting things to
403 // The class that handles everything on the search results page.
469     this.Search = function(search)
471       if (!search) // get search word from URL
473         search = window.location.search;
474         search = search.substring(1);  // Remove the leading '?'
475         search = unescape(search);
478       search = search.replace(/^ +/, ""); // strip leading spaces
479       search = search.replace(/ +$/, ""); // strip trailing spaces
480       search = search.toLowerCase();
481       search = convertToId(search);
495           if (search.length<=rowMatchName.length &&
496              rowMatchName.substr(0, search.length)==search)
604             while (1) // search for last child
623         else // return focus to search field