Searched refs:fricas_font_default (Results 1 – 2 of 2) sorted by relevance
523 #define fricas_font_default "-adobe-courier-bold-o-normal--18-*-*-*-m-*-iso8859-1" macro
743 (void) strcpy(prop, fricas_font_default); in ingItColors_and_fonts()