Skip to content
This repository was archived by the owner on Aug 3, 2024. It is now read-only.

Commit 3c8e0fd

Browse files
committed
Add search button to #page-menu
1 parent 2629cc2 commit 3c8e0fd

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

haddock-api/resources/html/index.js

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ var PageMenuButton = createClass({
5353
});
5454

5555
function addSearchPageMenuButton(action) {
56-
var pageMenu = document.querySelector('#package-header ul.links');
56+
var pageMenu = document.querySelector('#page-menu');
5757
var dummy = document.createElement('li');
5858
pageMenu.insertBefore(dummy, pageMenu.firstChild);
5959
preact.render(h(PageMenuButton, { onClick: action, title: "Search" }), pageMenu, dummy);
@@ -378,4 +378,4 @@ var NoResultsMsg = function(props) {
378378
return messages[(props.searchString || 'a').charCodeAt(0) % messages.length];
379379
};
380380

381-
preact.render(h(App), document.body);
381+
preact.render(h(App), document.body);

0 commit comments

Comments
 (0)