Add display_syntax_highlighted