Labels Milestones
Back5; out_row_1 = v_margin+12; row_2 = row_1 + v_margin + 12; //knob_radius top_row = height - hole_dist_top); } module make_step(bottom_element="switch") { // replace the
5; out_row_1 = v_margin+12; row_2 = row_1 + v_margin + 12; //knob_radius top_row = height - hole_dist_top); } module make_step(bottom_element="switch") { // replace the