Searched defs:extra_indent (Results 1 – 1 of 1) sorted by relevance
617 const char *line_prefix, int extra_indent, const char *css_class, in wrap()1272 int extra_indent; in message_print() local1398 int extra_indent; in message_print_obsolete() local