void set_cursor_location(GdkRectangle area);