aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--haddock-api/resources/html/index.js2
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);
}
// -------------------------------------------------------------------------- //