void print_font_and_char(int p) { if(!is_valid_font(font(p))) print_char('*'); else print_font_identifier(font(p)); print_char(' '); print(character(p)); }
/* return 1 == identical */ boolean cmp_font_name (integer id, strnumber t) { char *tid , *tt; if (!is_valid_font(id)) return 0; tt = makecstring(t); tid = font_name(id); if (tt == NULL && tid == NULL) return 1; if (tt == NULL || tid == NULL || strcmp(tid,tt)!=0) return 0; return 1; }
void short_display_n(int p,int m) { int i= 0; font_in_short_display= null_font; if(p==null) return; while(p!=null){ if(is_char_node(p)){ if(p<=max_halfword){ if(font(p)!=font_in_short_display){ if(!is_valid_font(font(p))) print_char('*'); else print_font_identifier(font(p)); print_char(' '); font_in_short_display= font(p); } print(character(p)); } }else{ if((type(p)==glue_node)|| (type(p)==disc_node)|| (type(p)==penalty_node)|| ((type(p)==kern_node)&&(subtype(p)==explicit_kern|| subtype(p)==italic_kern))){ incr(i); } if(i>=m) return; if(type(p)==disc_node){ print_char('|'); short_display(vlink(pre_break(p))); print_char('|'); short_display(vlink(post_break(p))); print_char('|'); }else{ print_short_node_contents(p); } } p= vlink(p); if(p==null) return; } update_terminal(); }
void short_display(int p) { while(p!=null){ if(is_char_node(p)){ if(lig_ptr(p)!=null){ short_display(lig_ptr(p)); }else{ if(font(p)!=font_in_short_display){ if(!is_valid_font(font(p))) print_char('*'); else print_font_identifier(font(p)); print_char(' '); font_in_short_display= font(p); } print(character(p)); } }else{ print_short_node_contents(p); } p= vlink(p); } }