void show_box(halfword p) { depth_threshold= show_box_depth_par; breadth_max= show_box_breadth_par; if(breadth_max<=0) breadth_max= 5; show_node_list(p); print_ln(); }
void tex::show_box(ptr p) { depth_threshold = show_box_depth; breadth_max = show_box_breadth; if (breadth_max <= 0) breadth_max = 5; flush_str(); if (cur_str_ptr + depth_threshold >= cur_str_end) depth_threshold = cur_str_end - cur_str_ptr - 1; show_node_list(p); }
void tex::show_discretionary(ptr p) { print_esc("discretionary"); if (replace_count(p) > 0) { print(" replacing "); print_int(replace_count(p)); } node_list_display(pre_break(p)); append_char('|'); show_node_list(post_break(p)); flush_char(); }
/* sec 0180 */ void node_list_display (integer p) { append_char('.'); show_node_list(p); decr(pool_ptr); }