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

[Thomas Martitz]

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

Since it's a major UI change (search is a heavily function) I would rather not force this surprise on "senior users". Interested users can change the setting and new users get the bar anyway.

I don't feel that "asking users" will get us anywhere. We don't have a forum where we can reach a significant portion, geany-users is the best bet but reflects only a small subset. Even then, most probably can't be bothered to specifically test this PR and report back.

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