static extern void gtk_paint_slider ( GtkStylePointer style, GdkWindowPointer window, GtkStateType state_type, GtkShadowType shadow_type, ref GdkRectangle area, GtkWidgetPointer widget, string detail, gint x, gint y, gint width, gint height, GtkOrientation orientation);
static extern void gtk_paint_resize_grip ( GtkStylePointer style, GdkWindowPointer window, GtkStateType state_type, ref GdkRectangle area, GtkWidgetPointer widget, string detail, GdkWindowEdge edge, gint x, gint y, gint width, gint height);
static extern void gtk_paint_flat_box ( GtkStylePointer style, GdkWindowPointer window, GtkStateType state_type, GtkShadowType shadow_type, ref GdkRectangle area, GtkWidgetPointer widget, string detail, gint x, gint y, gint width, gint height);
static extern void gtk_paint_extension ( GtkStylePointer style, GdkWindowPointer window, GtkStateType state_type, GtkShadowType shadow_type, ref GdkRectangle area, GtkWidgetPointer widget, string detail, gint x, gint y, gint width, gint height, GtkPositionType gap_side);
static extern void gtk_paint_expander ( GtkStylePointer style, GdkWindowPointer window, GtkStateType state_type, ref GdkRectangle area, GtkWidgetPointer widget, string detail, gint x, gint y, GtkExpanderStyle expander_style);
public static extern void gtk_widget_set_state(IntPtr widget, GtkStateType state);