aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html
diff options
context:
space:
mode:
authorAlexander Biehl <alexbiehl@gmail.com>2017-09-01 11:01:36 +0200
committerGitHub <noreply@github.com>2017-09-01 11:01:36 +0200
commit3e94fb427dce9b23a044ca85b6e066dbc486b5b1 (patch)
tree3d66b0de1275b020d7cc4012a97d2e070f0369b7 /haddock-api/resources/html
parentbd046100ff289fbb0033665e064083693e45200f (diff)
Rename "Search" tab to "Quick Jump"
Diffstat (limited to 'haddock-api/resources/html')
-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);
}
// -------------------------------------------------------------------------- //