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

elextr notifications at xxxxx
Thu Jul 18 09:08:23 UTC 2019


Differing positions allows the Chromium users (top) and Firefox user (bottom) to have it in their most common location.

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.

Note that the capability to have differing searches per tab might be nice, but it should be independent of where the search box is located.


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


More information about the Github-comments mailing list