I don't disagree with the search bar vs search dialog (for most cases), I'm just curious if there are any restrictions in the plugin API that make it infeasible as an extension to Geany rather than replacing the core feature wholesale.
-- 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-512711628
