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_royl9Bqj6mwrssPnnhJnbuPB61ks5vG_ncgaJpZM4GiYsG -- 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/issues/758#issuecomment-457808367
