Labels Milestones
Back- title_font_size; working_increment = (working_height-v_margin+thickness) / (9); // generally-useful spacing amount for vertical columns of stuff left_panel_width = 12.5*3 + tolerance*4 + 8; //three knobs plus space between centers of each sliding.
New Pull Request