132   symbol external_name;  member in font_info
230   internal_name(nm), external_name(enm), fm(f),  in font_info()
270 	tfont_spec spec(f->external_name, f->number, f->fm, fs, height, slant);  in get_tfont()
5855 static int mount_font_no_translate(int n, symbol name, symbol external_name,  in mount_font_no_translate()  argument
5863   void *p = font_dictionary.lookup(external_name);  in mount_font_no_translate()
5866     fm = font::load_font(external_name.contents(), &not_found, check_only);  in mount_font_no_translate()
5871 	warning(WARN_FONT, "can't find font `%1'", external_name.contents());  in mount_font_no_translate()
5872       (void)font_dictionary.lookup(external_name, &a_char);  in mount_font_no_translate()
5879     error("invalid font `%1'", external_name.contents());  in mount_font_no_translate()
5896   font_table[n] = new font_info(name, n, external_name, fm);  in mount_font_no_translate()
5901 int mount_font(int n, symbol name, symbol external_name)  in mount_font()  argument
5905   if (external_name.is_null())  in mount_font()
5906     external_name = name;  in mount_font()
5908     external_name = get_font_translation(external_name);  in mount_font()
5909   return mount_font_no_translate(n, name, external_name);  in mount_font()
5965 	symbol external_name = get_long_name();  in font_position()  local
5966 	mount_font(n, internal_name, external_name); // ignore error  in font_position()