pub const GTK_BORDER_STYLE_DOUBLE: GtkBorderStyle = 7;