Labels Milestones
Back≥30 faces. Quality == "fast preview") ? 12 : 12; // [1:1:84] left_panel_width = 40; // [1:1:84] // margins from edges h_margin.
- 0.629654 -0.768263 0.115357 facet.
- 1.284292e-001 2.247510e-001 9.659156e-001 facet.
- 3.155970e+000 2.491820e+001 facet normal.