Labels Milestones
Back+ 2 + 3 + tolerance*8; echo("Left panel:", left_panel_width, " with spacing ", left_panel_spacing); right_panel_width.
- -7.833775e-001 4.226281e-001 vertex -7.455828e-001 5.347167e+000 2.475471e+001.
- 0.108206 facet normal 0.974929 0.222515 -0.