From 3e94fb427dce9b23a044ca85b6e066dbc486b5b1 Mon Sep 17 00:00:00 2001 From: Alexander Biehl Date: Fri, 1 Sep 2017 11:01:36 +0200 Subject: Rename "Search" tab to "Quick Jump" --- haddock-api/resources/html/index.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'haddock-api') 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); } // -------------------------------------------------------------------------- // -- cgit v1.2.3