append_border

Description:

public void append_border (RoundedRect outline, float[] border_width, RGBA[] border_color)

Appends a stroked border rectangle inside the given outline.

The four sides of the border can have different widths and colors.

Parameters:

this

a `GtkSnapshot`
outline

the outline of the border
border_width

the stroke width of the border on the top, right, bottom and left side respectively.
border_color

the color used on the top, right, bottom and left side.