From 3c8e0fd3701eceaa6b8a94cc323aabd82daed5da Mon Sep 17 00:00:00 2001 From: alexbiehl Date: Mon, 28 Aug 2017 18:44:08 +0200 Subject: Add search button to #page-menu --- haddock-api/resources/html/index.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'haddock-api/resources') diff --git a/haddock-api/resources/html/index.js b/haddock-api/resources/html/index.js index 9123f8ae..da1b8cf6 100644 --- a/haddock-api/resources/html/index.js +++ b/haddock-api/resources/html/index.js @@ -53,7 +53,7 @@ var PageMenuButton = createClass({ }); function addSearchPageMenuButton(action) { - var pageMenu = document.querySelector('#package-header ul.links'); + 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); @@ -378,4 +378,4 @@ var NoResultsMsg = function(props) { return messages[(props.searchString || 'a').charCodeAt(0) % messages.length]; }; -preact.render(h(App), document.body); \ No newline at end of file +preact.render(h(App), document.body); -- cgit v1.2.3