Constant gtk_sys::GTK_STYLE_PROPERTY_MARGIN

source · 
pub const GTK_STYLE_PROPERTY_MARGIN: &[u8] = b"margin\0";