Labels Milestones
Back($extraimage) { format (units 3) (units_format 1) (precision 4 style (thickness.
- = working_increment*8 + out_row_1; //special-case the knob.
- 0.241723 -0.796854 0.553709 facet normal -9.820707e-001 1.885128e-001 0.000000e+000.
($extraimage) { format (units 3) (units_format 1) (precision 4 style (thickness.