Labels Milestones
BackThem //left_panel_spacing = left_panel_width / 3 + tolerance*8; echo("Left panel:", left_panel_width, " with spacing .
- -2.96676 6.90035 6.0001 facet normal -0.0846387 0.279018.
- -0.989345 0.108204 facet normal.
- 0.0846387 0.956549 facet normal 4.124057e-003.