Definition pretty-print-markup.h:30
void end_highlight_color()
Definition pretty-print.cc:3175
void begin_highlight_color(const char *color_name)
Definition pretty-print.cc:3164
void end_quote()
Definition pretty-print.cc:3151
void begin_quote()
Definition pretty-print.cc:3141