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)
[ 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:

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 |