void render_to_drawable(GdkWindow
drawable, GdkGC
gc, int
src_x, int
src_y, int
dest_x, int
dest_y, int
width, int
height [, GdkRgbDither
dither = GDK_RGB_DITHER_NORMAL [, int
x_dither = GDK_RGB_DITHER_NORMAL [, int
y_dither = GDK_RGB_DITHER_NORMAL]]]);