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

[Colomban Wendling]

Merged #575.

---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/575#event-553937182