Labels Milestones
BackWorking_height = height - v_margin*2 - title_font_size; working_increment = working_height / 7; // Number of indenting spheres. [mm] sphere_indents_radius = 3; // Length of.
New Pull RequestWorking_height = height - v_margin*2 - title_font_size; working_increment = working_height / 7; // Number of indenting spheres. [mm] sphere_indents_radius = 3; // Length of.
New Pull Request