doc-html/src/javascripts/pdoc/application.js
function(state) {
    try {
      state = unescape(state).evalJSON();
      var filterer = $('search').retrieve('filterer');    
      filterer.setSearchValue(state.searchValue);

      (function() {
        $('menu_pane').scrollTop = state.menuScrollOffset;
        $('search_results').scrollTop = state.searchScrollOffset;
      }).defer();
    } catch(error) {
      console.log(error);
      if (!(error instanceof SyntaxError)) throw error;
    }
  }
function(state) {
    try {
      state = unescape(state).evalJSON();
      var filterer = $('search').retrieve('filterer');    
      filterer.setSearchValue(state.searchValue);

      (function() {
        $('menu_pane').scrollTop = state.menuScrollOffset;
        $('search_results').scrollTop = state.searchScrollOffset;
      }).defer();
    } catch(error) {
      console.log(error);
      if (!(error instanceof SyntaxError)) throw error;
    }
  }
function ( state ) { try { state = unescape ( state ) . evalJSON ( ) ; var filterer = $ ( 'search' ) . retrieve ( 'filterer' ) ; filterer . setSearchValue ( state . searchValue ) ; ( function ( ) { $ ( 'menu_pane' ) . scrollTop = state . menuScrollOffset ; $ ( 'search_results' ) . scrollTop = state . searchScrollOffset ; } ) . defer ( ) ; } catch ( error ) { console . log ( error ) ; if ( ! ( error instanceof SyntaxError ) ) throw error ; } }
Restore the tree to a certain point based on a cookie.
Restore the tree to a certain point based on a cookie .