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