[Github-comments] [geany/geany] Set default 'search not found' dialog to 'Find' (#2109)

crazyBaboon notifications at xxxxx
Sun Mar 24 12:58:26 UTC 2019


> For reference the wrap option was split from a combined option here as a result of the discussion in the Geany ML thread which basically makes the decision to keep it off as it was before, since there is no good reason for either provided, and since there are no statistics on what would be preferred.

Statistics can only be obtain there are lots of users - I am unsure whether Geany fits that category.

> So you need to provide some better justification than personal preference to change it, see the ML thread.

ok I can see this discussion will go nowhere, so I leave it here.

-- 
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-475956441
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190324/332dd61c/attachment.html>


More information about the Github-comments mailing list