At some point I had written a plugin like this, but I can no longer find the code.
This would have a much better chance of getting merged if it was in a plugin, or at least it provided an option to use the search bar instead of the search dialog rather than replacing it. -- 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-512619670
