> So did you report that? I can't find an issue that fits.

I don't think it is a problem. It is just I toggled the checkbutton in the UI 
logic. Should this change propagate automatically into the search logic?

>  And it works for me with latest Geany git.

If you delete .config/geany does it still work? It does not for me and I am 
working also with the git version of Geany.

> Well, you only have to set it once and its remembered.

But why even set it once? What is the point in that? Should it not be on by 
default?

-- 
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/2109#issuecomment-475941673

Reply via email to