diff options
| -rw-r--r-- | haddock-api/resources/html/index.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/haddock-api/resources/html/index.js b/haddock-api/resources/html/index.js index f213b9ab..da30c434 100644 --- a/haddock-api/resources/html/index.js +++ b/haddock-api/resources/html/index.js @@ -60,7 +60,7 @@ function addSearchPageMenuButton(action) { var pageMenu = document.querySelector('#page-menu'); var dummy = document.createElement('li'); pageMenu.insertBefore(dummy, pageMenu.firstChild); - preact.render(h(PageMenuButton, { onClick: action, title: "Search" }), pageMenu, dummy); + preact.render(h(PageMenuButton, { onClick: action, title: "Quick Jump" }), pageMenu, dummy); } // -------------------------------------------------------------------------- // |