Circle(r = top_rounding_radius, $fn = knob_faces); // Create a hole with radius: ", hole_r.
alt
click/enter