Constant gtk_sys::GTK_BORDER_STYLE_DOUBLE

pub const GTK_BORDER_STYLE_DOUBLE: GtkBorderStyle = 7;