Rename "Search" tab to "Quick Jump"

alexbiehl · web-flow · commit 3e94fb427dce · 2017-09-01T11:01:36.000+02:00
diff --git 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);
 }
 
 // -------------------------------------------------------------------------- //

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ function addSearchPageMenuButton(action) {`
`60`	`60`	`var pageMenu = document.querySelector('#page-menu');`
`61`	`61`	`var dummy = document.createElement('li');`
`62`	`62`	`pageMenu.insertBefore(dummy, pageMenu.firstChild);`
`63`		`- preact.render(h(PageMenuButton, { onClick: action, title: "Search" }), pageMenu, dummy);`
	`63`	`+ preact.render(h(PageMenuButton, { onClick: action, title: "Quick Jump" }), pageMenu, dummy);`
`64`	`64`	`}`
`65`	`65`
`66`	`66`	`// -------------------------------------------------------------------------- //`