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

[Matthew Brush]

> It's strange that we add something, make it default, and then we hide from in existing installations.

The thing is, a lot of users probably won't like the new search bar, so it doesn't seem very polite to thrust it on them. This is another reason it would make more sense as a plugin.

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