983     float	height;  member
1465     int		height,  in prt_def_font()  argument
1473 		       new_name, height, 500./prt_ps_courier_font.wx, new_name);  in prt_def_font()
1476 			     "/%s %d /_%s ffs\n", new_name, height, new_name);  in prt_def_font()
1484 prt_def_cidfont(char *new_name, int height, char *cidfont)  in prt_def_cidfont()  argument
1490 			     "/%s %d /_%s ffs\n", new_name, height, new_name);  in prt_def_cidfont()
2092     double	height,  in prt_dsc_docmedia()  argument
2101     prt_write_real(height, 2);  in prt_dsc_docmedia()
2189     double	height,  in prt_page_margins()  argument
2197     *top    = height - to_device_units(OPT_PRINT_TOP, height, 5);  in prt_page_margins()
2198     *bottom = to_device_units(OPT_PRINT_BOT, height, 5);  in prt_page_margins()
2536 	prt_page_height = prt_mediasize[i].height;  in mch_print_init()
2540 	prt_page_width = prt_mediasize[i].height;  in mch_print_init()
2763 					    prt_mediasize[prt_media].height,  in mch_print_begin()
2792 				prt_mediasize[prt_media].height,  in mch_print_begin()
2999     prt_write_int((int)prt_mediasize[prt_media].height);  in mch_print_begin()