Searched refs:saved_width_total (Results 1 – 2 of 2) sorted by relevance
33 hunits saved_width_total; variable
112 curenv->width_total = curdiv->saved_width_total; in do_divert()138 curdiv->saved_width_total = curenv->width_total; in do_divert()