We rename also the option from save_width_height to save_tree_width which correspond better to the current behavior. issue9130 review258921051
We rename also the option from save_width_height to save_tree_width which correspond better to the current behavior. issue9130 review258921051