docs: 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;
      }
    }