Constant GTK_BORDER_STYLE_DOUBLE 

pub const GTK_BORDER_STYLE_DOUBLE: GtkBorderStyle = 7;