I support this, and looking at the relatively minor modifications, I don't see this as a plugin. Instead, I would rather see an three-way option (top, bottom or dialog). Search bar at the bottom is probably more widely adopted in other programs.
It looks like you re-use the dialog's interface widgets, which is kind of neat, as it simplifies supporting both options. However, the search bar looks a bit muddled in the screen shot. -- 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-512718468
