[Github-comments] [geany/geany] Adds hidden preference 'always_set_from_selected' [...] (#2697)

Edgar notifications at xxxxx
Mon Dec 21 20:13:01 UTC 2020


> Perhaps I'm missing the use case for not wanting the search text to be updated.

Well, I also personally don't see a use case for it, but on the other side, I don't see that many users complained. Also there must be a reason why the search phrase is (seems intentionally?) not updated in the current version. People have different ways of working. And since the users are used with that current behaviour - for which we don't see a reason yet -, I think it is not bad to let them fallback to the old behaviour using the hidden preference. That is the only reason for the hidden preference.

-- 
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/2697#issuecomment-749174780
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20201221/d1bcba10/attachment.htm>


More information about the Github-comments mailing list