GdkImage get_image(int x, int y, int width, int height);