[Github-comments] [geany] Don't explicitly re-highlight the document when typenames change (#575)

Jiří Techet notifications at xxxxx
Fri Dec 11 16:49:49 UTC 2015


@b4n Could you apply this one? Regardless of whether this is the main cause of https://github.com/geany/geany/issues/791 or not, I believe it should be applied because it helps in general. And better to apply it earlier in the release cycle to check if it has some side-effects (but I believe it doesn't).

---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/575#issuecomment-163988079
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20151211/1fc2d9df/attachment.html>


More information about the Github-comments mailing list