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

[js361014]

@kugel- 
> 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.

What's your system?

> I would accept this only if it can replace the search dialog entirely, including replace functionality.

I suggested in https://github.com/geany/geany/pull/2220#issuecomment-516298022 to provide it in another PR. Is it OK to you?

>Since it's a new UI for existing functionality there shouldn't be much code churn

What do you mean?

>While I agree to enable it by default, I think existing installations shouldn't be switched over.

How to achieve this?


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