Prev
GtkStyle::paint_extension
Next
GtkStyle::paint_extension
void paint_extension(
GdkWindow
window
,
state_type
,
shadow_type
, GdkRectangle
area
,
GtkWidget
widget
,
detail
,
x
,
y
,
width
,
height
,
gap_side
);
See also: draw_extension