Labels Milestones
Back== "mirror") { module label(string, size=4, halign="center", font=default_label_font) { module title(string, size=12, halign="center", font=font_for_title) { color([1,0,0]) linear_extrude(thickness+1) text(string, size, halign=halign); } ..
- 5.628329e-001 8.265707e-001 -0.000000e+000 vertex 6.221643e+000 3.367373e+000 9.983999e+000.
- 2.87011 -6.92909 6.0001 vertex -6.92908 -2.87013 6.0001.
- 0.262761 0.830237 vertex -5.04122 -7.99026.
- 0.638745 0.203973 vertex 4.38745 -5.82788.
- -0.0908976 6.86711 vertex -0.0879059.