Searched defs:old_roman_font (Results 1 – 1 of 1) sorted by relevance
439 const char *old_roman_font = current_roman_font; in compute_metrics() local455 const char *old_roman_font = current_roman_font; in output() local