[Github-comments] [geany/geany] Replace search dialog with search bar (#2220)

Thomas Martitz notifications at xxxxx
Thu Jul 18 10:08:51 UTC 2019


> If its on top it should be part of the toolbar (where there already is a simplified search box) and so it can be put on the menu line so it doesn't eat up vertical space, or cause the text to move by appearing and disappearing in the notebook page.
> 
> If its on the bottom, maybe it should be optional to be combined with the status bar.

I disagree. 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).

@js361014 if the expander simply expands a second half I would suggest it expands over the text entry so that the text entry doesn't jump.

-- 
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-512753550
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190718/c405ecfb/attachment.html>


More information about the Github-comments mailing list