Gtk.Style.draw_extension:
Description:
public virtual void draw_extension (
Gdk.Window window,
Gtk.StateType state_type,
Gtk.ShadowType shadow_type,
Gdk.Rectangle area,
Gtk.Widget widget,
string detail,
int x,
int y,
int width,
int height,
Gtk.PositionType gap_side)