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

js361014 notifications at xxxxx
Thu Jul 18 02:50:29 UTC 2019


![geany_search_bar_more](https://user-images.githubusercontent.com/37348338/61425236-9541c180-a916-11e9-8c42-f641eb43800a.png)
I'll add an option to turn off search bar and use old search dialog. I guess it has all the options the find dialog has.

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


More information about the Github-comments mailing list