22 void	mdvi_set_color(DviContext *dvi, Ulong fg, Ulong bg)  in mdvi_set_color()  argument
24 	if(dvi->curr_fg != fg || dvi->curr_bg != bg) {  in mdvi_set_color()
26 		if(dvi->device.set_color)  in mdvi_set_color()
27 			dvi->device.set_color(dvi->device.device_data, fg, bg);  in mdvi_set_color()
28 		dvi->curr_fg = fg;  in mdvi_set_color()
29 		dvi->curr_bg = bg;  in mdvi_set_color()
33 void	mdvi_push_color(DviContext *dvi, Ulong fg, Ulong bg)  in mdvi_push_color()  argument
35 	if(dvi->color_top == dvi->color_size) {  in mdvi_push_color()
36 		dvi->color_size += 32;  in mdvi_push_color()
37 		dvi->color_stack = mdvi_realloc(dvi->color_stack,  in mdvi_push_color()
38 			dvi->color_size * sizeof(DviColorPair));  in mdvi_push_color()
40 	dvi->color_stack[dvi->color_top].fg = dvi->curr_fg;  in mdvi_push_color()
41 	dvi->color_stack[dvi->color_top].bg = dvi->curr_bg;  in mdvi_push_color()
42 	dvi->color_top++;  in mdvi_push_color()
43 	mdvi_set_color(dvi, fg, bg);  in mdvi_push_color()
46 void	mdvi_pop_color(DviContext *dvi)  in mdvi_pop_color()  argument
50 	if(dvi->color_top == 0)  in mdvi_pop_color()
52 	dvi->color_top--;  in mdvi_pop_color()
53 	fg = dvi->color_stack[dvi->color_top].fg;  in mdvi_pop_color()
54 	bg = dvi->color_stack[dvi->color_top].bg;  in mdvi_pop_color()
55 	mdvi_set_color(dvi, fg, bg);  in mdvi_pop_color()
58 void	mdvi_reset_color(DviContext *dvi)  in mdvi_reset_color()  argument
60 	dvi->color_top = 0;  in mdvi_reset_color()
61 	mdvi_set_color(dvi, dvi->params.fg, dvi->params.bg);  in mdvi_reset_color()