3
1
Back

(8+tolerance/5); // generally-useful spacing amount for vertical columns of stuff working_increment = working_height / 5; row_1 = bottom_row + v_margin + 12; //knob_radius top_row = height / 2 + 3 + tolerance*8; echo("Left panel:", left_panel_width, " with spacing ", left_panel_spacing); right_panel_width = width_mm - h_margin; working_height = height - v_margin*2 - title_font_size; working_increment = working_height / (8+tolerance/5); // generally-useful spacing amount for vertical columns of stuff col_left = h_margin; working_increment.

New Pull Request