Searched refs:default_font_bold (Results 1 – 1 of 1) sorted by relevance
100 static char *default_font_bold = "Courier-Bold"; variable627 default_font, default_font_bold, in preamble()654 point_size, default_font_bold, SELECT_FONT); in preamble()