Searched refs:class_comment (Results 1 – 2 of 2) sorted by relevance
193 static const char class_comment[] = "comment"; variable1258 begin_css_class (stream, class_comment); in print_blank_line()1260 end_css_class (stream, class_comment); in print_blank_line()1291 begin_css_class (stream, class_comment); in message_print()1325 end_css_class (stream, class_comment); in message_print()1411 begin_css_class (stream, class_comment); in message_print_obsolete()1494 end_css_class (stream, class_comment); in message_print_obsolete()
3140 class_obsolete, class_comment, class_translator_comment,