Labels Milestones
Back{ 2 * nothing; z_position = height - hole_dist_top); if (vertical) { module title(string, size=12, halign="center", font=font_for_title) { 88bf85725f Update to 7.0, slider.
New Pull Request{ 2 * nothing; z_position = height - hole_dist_top); if (vertical) { module title(string, size=12, halign="center", font=font_for_title) { 88bf85725f Update to 7.0, slider.
New Pull Request