diff options
author | Alexander Biehl <alexbiehl@gmail.com> | 2017-09-01 11:01:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-01 11:01:36 +0200 |
commit | 3e94fb427dce9b23a044ca85b6e066dbc486b5b1 (patch) | |
tree | 3d66b0de1275b020d7cc4012a97d2e070f0369b7 /haddock-api | |
parent | bd046100ff289fbb0033665e064083693e45200f (diff) |
Rename "Search" tab to "Quick Jump"
Diffstat (limited to 'haddock-api')
-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); } // -------------------------------------------------------------------------- // |