void draw_pixbuf(GdkGC gc, GdkPixbuf pixbuf, int src_x, int src_y, int dest_x, int dest_y [, int width = -1 [, int height = -1 [, GdkRgbDither dither = GDK_RGB_DITHER_NORMAL [, int x_dither = GDK_RGB_DITHER_NORMAL [, int y_dither = GDK_RGB_DITHER_NORMAL]]]]]);