Labels Milestones
BackH_margin; working_increment = working_height / (8+tolerance/5); // generally-useful spacing amount for vertical.
New Pull RequestH_margin; working_increment = working_height / (8+tolerance/5); // generally-useful spacing amount for vertical.
New Pull Request