widgetry::widgets

Constant DEFAULT_CORNER_RADIUS

Source 
pub const DEFAULT_CORNER_RADIUS: f64 = 5.0;