renderExtension
fn
void renderExtension(gtk.style_context.StyleContext context, cairo.context.Context cr, double x, double y, double width, double height, gtk.types.PositionType gapSide)Renders a extension (as in a #GtkNotebook 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
context | a #GtkStyleContext |
cr | a #cairo_t |
x | X origin of the rectangle |
y | Y origin of the rectangle |
width | rectangle width |
height | rectangle height |
gapSide | side where the gap is |