[ NoAccessorMethod ]
[ Version ( deprecated = true , deprecated_since = "0.6.0" , since = "0.0.1" ) ]
public int border_radius { get; set; }
Warning: border_radius is deprecated since 0.6.0.
The corner radius of the panel edges in device pixels.
Use [property@DisplayPanel:corner-radii] instead