doc-html/src/javascripts/pdoc/application.js
function(str) {
    var results = [];
    for (var name in PDoc.elements) {
      if (name.toLowerCase().include(str.toLowerCase()))
        results.push(PDoc.elements[name]);
    }
    return results;
  }
function(str) {
    var results = [];
    for (var name in PDoc.elements) {
      if (name.toLowerCase().include(str.toLowerCase()))
        results.push(PDoc.elements[name]);
    }
    return results;
  }
function ( str ) { var results = [ ] ; for ( var name in PDoc . elements ) { if ( name . toLowerCase ( ) . include ( str . toLowerCase ( ) ) ) results . push ( PDoc . elements [ name ] ) ; } return results ; }
Given a key, finds all the PDoc objects that match.
Given a key finds all the PDoc objects that match .