void print_font_identifier(internal_font_number f)
{
str_number fonttext;
fonttext= font_id_text(f);
if(fonttext> 0){
print_esc(fonttext);
}else{
tprint_esc("FONT");
print_int(f);
}
if(tracing_fonts_par> 0){
tprint(" (");
print_font_name(f);
if(font_size(f)!=font_dsize(f)){
tprint("@");
print_scaled(font_size(f));
tprint("pt");
}
print_char(')');
}
}
void tex::short_display(ptr p)
{
int n;
for (; p != null; p = link(p)) {
if (is_char_node(p)) {
if (font(p) != font_in_short_display) {
if (font(p) < FONT_BASE || font(p) > FONT_MAX) {
print("*");
} else {
print_esc(null_str);
print(font_id_text(font(p)));
}
print(" ");
font_in_short_display = font(p);
}
print_ASCII(character(p));
} else {
switch (tex::type(p))
{
case HLIST_NODE:
case VLIST_NODE:
case INS_NODE:
case WHATSIT_NODE:
case MARK_NODE:
case ADJUST_NODE:
case UNSET_NODE:
print("[]");
break;
case RULE_NODE:
print("|");
break;
case GLUE_NODE:
if (glue_ptr(p) != zero_glue)
print(" ");
break;
case MATH_NODE:
print("$");
break;
case LIGATURE_NODE:
short_display(lig_ptr(p));
break;
case DISC_NODE:
short_display(pre_break(p));
short_display(post_break(p));
n = replace_count(p);
while (n > 0) {
if (link(p) != null)
p = link(p);
decr(n);
}
break;
default:
break;
}
}
}
}
