[Github-comments] [geany/geany] Mark All - mistake (#1467)

Sat Apr 15 20:34:57 UTC 2017

It definitively seems like a bug, but I don't think it is. "Mark All" is a search feature (see Search->Find->Mark All), it follows the given GUI search options, so I don't think we can really hardcode them, although for this particular case it does seem to make some sense.

-- 
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/1467#issuecomment-294316417
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170415/d703c5d7/attachment.html>