render_extension


Description:

[ CCode ( cname = "gtk_render_extension" ) ]
[ Version ( since = "3.0" ) ]
public void render_extension (Context cr, double x, double y, double width, double height, PositionType gap_side)

Renders a extension (as in a Notebook tab) in the rectangle defined by x, y, width, height.

The side where the extension connects to is defined by gap_side.

Typical extension rendering:

![](extensions.png)

Parameters:

cr

a Context

x

X origin of the rectangle

y

Y origin of the rectangle

width

rectangle width

height

rectangle height

gap_side

side where the gap is

context

a StyleContext