[commit: haddock] ghc-head, ghc-head1, master, wip/T14529, wip/revert-ttg-2017-11-20, wip/ttg-2017-11-06, wip/ttg2-2017-11-10, wip/ttg3-2017-11-12, wip/ttg4-constraints-2017-11-13, wip/ttg6-unrevert-2017-11-22: Rename "Search" tab to "Quick Jump" (3e94fb4)

git at git.haskell.org git at git.haskell.org
Tue Nov 28 11:54:50 UTC 2017


Repository : ssh://git@git.haskell.org/haddock

On branches: ghc-head,ghc-head1,master,wip/T14529,wip/revert-ttg-2017-11-20,wip/ttg-2017-11-06,wip/ttg2-2017-11-10,wip/ttg3-2017-11-12,wip/ttg4-constraints-2017-11-13,wip/ttg6-unrevert-2017-11-22
Link       : http://git.haskell.org/haddock.git/commitdiff/3e94fb427dce9b23a044ca85b6e066dbc486b5b1

>---------------------------------------------------------------

commit 3e94fb427dce9b23a044ca85b6e066dbc486b5b1
Author: Alexander Biehl <alexbiehl at gmail.com>
Date:   Fri Sep 1 11:01:36 2017 +0200

    Rename "Search" tab to "Quick Jump"


>---------------------------------------------------------------

3e94fb427dce9b23a044ca85b6e066dbc486b5b1
 haddock-api/resources/html/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/haddock-api/resources/html/index.js b/haddock-api/resources/html/index.js
index f213b9a..da30c43 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);
 }
 
 // -------------------------------------------------------------------------- //



More information about the ghc-commits mailing list