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_pixmap, make_with_pixel_buffer, make_with_cursor, make_predefined, default_create

Ancestors
	EV_ANY*

Queries
	data: ANY
	height: INTEGER_32
	implementation: EV_POINTER_STYLE_I
	is_destroyed: BOOLEAN
	is_equal (other: [like Current] EV_POINTER_STYLE): 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)