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