>The thing is, a lot of users probably won't prefer the new search bar The thing is, we don't really know what most users would prefer. Discussion on it looks like a never-ending story. I suggest to make this change be as good as possible and then ask users what they prefer. Of course, it's the question who and how to ask.
-- 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-518765837
