3
1
Back

The rounded top edge. ≥30 means "round, using current quality setting". // --------------------------------- // Enable rounding of the arrow. Scale([engraved_indicator_scale * 0.3, engraved_indicator_scale * 0.3]) union() { difference() { union() { z_position = sphere_indents_radius + (enable_stem.

New Pull Request