"Search" menu entry #124

Activity

1. chaoran-chen

   added

   question

   on Apr 25, 2017
2. pfent commented on Apr 25, 2017

   

   pfent

   on Apr 25, 2017

   More actions

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

   I'd vote for dropping that entry

   👍React with 👍2Reacted by Chaoran Chen and Jörn von Henning
3. joern-vh commented on Apr 25, 2017

   

   joern-vh

   on Apr 25, 2017

   Contributor

   More actions

   I would support dropping the entry.
4. kordianbruck commented on Apr 25, 2017

   

   kordianbruck

   on Apr 25, 2017

   Contributor

   More actions

   I really don't mind it actually. But if you guys insist, then I'm not opposed.
5. sacdallago commented on Apr 25, 2017

   

   sacdallago

   on Apr 25, 2017

   Member

   More actions

   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
6. syncall commented on Apr 25, 2017

   

   syncall

   on Apr 25, 2017 via email

   Contributor

   More actions

   Keep in mind that on mobile devices the search bar is not there and the user has to navigate to search somehow Christian Dallago <notifications@github.com> schrieb am Di., 25. Apr. 2017, 23:57:

   …

   I agree with @kordianbruck <https://github.com/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 — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#124 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AYwnaYUhKnDhJ_gqBZJTJWTVjo4FTYvYks5rzmxSgaJpZM4NH22H> .