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);
public static extern IntPtr gtk_button_box_new(GtkOrientation orientation);