Skip to content
This repository has been archived by the owner on Jun 21, 2019. It is now read-only.

"Search" menu entry #124

Open
chaoran-chen opened this issue Apr 25, 2017 · 5 comments
Open

"Search" menu entry #124

chaoran-chen opened this issue Apr 25, 2017 · 5 comments
Labels

Comments

@chaoran-chen
Copy link
Member

Do we really need a link to "search" in the menu? We already have a search field in the header bar and on the landing page..

@pfent
Copy link

pfent commented Apr 25, 2017

The home page is also kindof a search page, since there is a big central search field.

I'd vote for dropping that entry

@joern-vh
Copy link
Contributor

I would support dropping the entry.

@kordianbruck
Copy link
Contributor

I really don't mind it actually. But if you guys insist, then I'm not opposed.

@sacdallago
Copy link
Member

I agree with @kordianbruck , I don't mind it. On the contrary the home page is a bit crowded, thus having an extra search section feels like a little safe space to me. ☁️ opinions

@syncall
Copy link
Contributor

syncall commented Apr 25, 2017 via email

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

No branches or pull requests

6 participants