[Github-comments] [geany/geany] Replace search dialog with search bar (#2220)
js361014
notifications at xxxxx
Mon Jul 29 09:30:17 UTC 2019
@elextr
>To just come into a project and say "here, this is the way it should be done, throw away your existing features" is not the way to get engagement in a diverse group of contributors.
At first step I posted a screenshot waiting for opinions from contributors. I feel @kugel- and @b4n supported my idea of search bar. Moreover, I modified my original code so that user can chose from 3 options: search bar on top, search bar at bottom and an old search dialog. I feel you used a straw man argument.
>like expanding the toolbar search facility instead of using space in the editor, which you havn't addressed yet
I guess it would be a long discussion on what should be in a toolbar, which of toolbar thinks should be provided as plugins etc. I felt that after @kugel- explanation
>The search bar comes and goes, the toolbar and statusbar are static. Sidebar and message window (on the right in my case) jumping around is distracting. I see that the search bar is part of the editor just like the header bar (when files change externally).
there is no need to elaborate.
>You need to make a case, and just saying "its the way browsers do it" isn't particularly persuasive when talking about an IDE.
I provided some arguments for search bar in https://github.com/geany/geany/pull/2220#issuecomment-512686843 and @codebrainz said
>I don't disagree with the search bar vs search dialog (for most cases)
so I thought that's enough.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/2220#issuecomment-515918471
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190729/b90fc700/attachment.html>
More information about the Github-comments
mailing list