void set_clip_rectangle(GdkRectangle rectangle);