160 	char	*font;  member
166 	char	*font;  member
745 	if (current.font != newfont) {  in setcurrentfont()
747 			current.font = newfont;  in setcurrentfont()
748 		(void) fprintf(outfile, "%s\n", current.font);  in setcurrentfont()
762 	char	*font;  in restorestate()  local
764 	font = current.font;  in restorestate()
767 	setcurrentfont(font, f);  in restorestate()
777 	fs->font = current.font;  in save_format_state()
787 	setcurrentfont(fs->font, outfile);  in restore_format_state()
1157 		altfont = current.font;  in proc()
1437 	current.font = DEFAULT_FONT;  in setup()