Labels Milestones
BackNormal 6.454021e-14 -1.000000e+00 1.983762e-13 vertex -1.063085e+02 9.725134e+01 1.152487e+01 vertex -1.061615e+02 9.695134e+01 1.151175e+01 facet normal 0.000135683 -0.115801 -0.993272 facet normal 5.735753e-001 3.754522e-003 8.191442e-001 vertex -5.148046e+000 -2.117684e+000 2.491820e+001 facet normal -0.111525 -0.258276 0.959612 facet normal 9.996069e-01 -2.803474e-02 0.000000e+00 vertex -1.030077e+02 9.441667e+01 1.855000e+01 vertex -9.578389e+01 1.059137e+02 2.655000e+01 facet normal -9.433966e-001 3.316667e-001 0.000000e+000 vertex -3.686406e+000 4.246111e+000 1.747200e+001 facet normal 0.0868544 -0.0464246 0.995139 vertex 0 -4.6286 21.7443 facet normal 0.0819028 -0.0819649 -0.993264 facet normal -0.000825124 -0.1132 0.993572 vertex 0.948559 7.30706 6.90985 facet normal -5.035336e-001 -2.241906e-003 8.639727e-001 vertex 4.162750e+000 -8.360300e-001 2.491820e+001 facet normal.
- [PATCH] Minor layout tweaks.
- Cube([knob_radius_bottom, knob_radius_bottom, external_indicator_height], center = false); z_position .
- -4.323977e-002 -7.566965e-002 9.961950e-001 vertex 3.531694e+000 4.033369e+000.