I simply submitted it as a suggested patch because the discussion at that time seemed to suggest that some may not want search to work that way.
On 2019-01-26 06:46, elextr wrote:
@Haburaku [1] to be clear, AFAIK nobody has made a pull request to add the functionality to Geany, so it will not be in Geany git.
@kenshail [2] modified his own copy, not Geanys.
-- You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub [3], or mute the thread [4].
Links: ------ [1] https://github.com/Haburaku [2] https://github.com/kenshail [3] https://github.com/geany/geany/issues/758#issuecomment-457807838 [4] https://github.com/notifications/unsubscribe-auth/AFjqT_royl9Bqj6mwrssPnnhJn...