Searched refs:alternate_heading (Results 1 – 4 of 4) sorted by relevance
2820 const char *alternate_heading variable2843 if (alternate_heading)2845 insert_string (alternate_heading);2846 alternate_heading = 0;
3520 Improve text of `alternate_heading'.
2760 const char *alternate_heading variable2784 if (alternate_heading)2786 insert_string (alternate_heading);2787 alternate_heading = 0;