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

Thomas Martitz notifications at xxxxx
Tue Aug 6 04:58:45 UTC 2019


Maybe I missed something but on my system it doesn't seem to work. Hitting ctrl+f does nothing, wit h either top or bottom options. With the "none" option the dialog appears.

Also, some more opinions from my side:
1) I would accept this only if it can replace the search dialog entirely, including replace functionality. 
2) Since it's a new UI for existing functionality there shouldn't be much code churn
3) While I agree to enable it by default, I think existing installations shouldn't be switched over.

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


More information about the Github-comments mailing list