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:
![](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 |