    class
    	EV_POINTER_STYLE

    General
    	cluster: interface
    	description: "Apearance of a screen pointer cursor, typically moved by a mouse."
    	keywords: "mouse, pointer, cursor, arrow"
    	create: make_with_pixel_buffer, default_create, make_with_pixmap, make_predefined, make_with_cursor

    Ancestors
    	EV_ANY*

    Queries
    	data: ANY
    	height: INTEGER_32
    	implementation: EV_POINTER_STYLE_I
    	is_destroyed: BOOLEAN
    	width: INTEGER_32
    	x_hotspot: INTEGER_32
    	y_hotspot: INTEGER_32

    Commands
    	copy (other: [like Current] EV_POINTER_STYLE)
    	create_implementation
    	destroy
    	set_data (some_data: [like data] ANY)
    	set_x_hotspot (a_x: INTEGER_32)
    	set_y_hotspot (a_y: INTEGER_32)