[Github-comments] [geany/geany] Wrap search? (#2160)

Matthew Brush notifications at xxxxx
Thu May 23 01:30:47 UTC 2019


> Personally I would be happy to remove the option and have searches always wrap, then we needs no dialogs

:+1: 

>  but I understand that others may see it differently.

As is often the case (didn't check here), stuff like this is just the way it is because that's how the person who wrote the code initially did it, and nobody bothered to improve it yet.

-- 
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/2160#issuecomment-495033321
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190522/901dbda3/attachment.html>


More information about the Github-comments mailing list