[Github-comments] [geany] Don't explicitly re-highlight the document when typenames change (#575)
Colomban Wendling
notifications at xxxxx
Wed Feb 17 17:52:32 UTC 2016
Merged #575.
---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/575#event-553937182
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160217/32df58d9/attachment.html>
More information about the Github-comments
mailing list