deferred class
	EV_POINTER_STYLE_I

General
	cluster: implementation_interface
	description: "Implementation interface for EV_POINTER_STYLE."
	keywords: "mouse, pointer, cursor, arrow"

Ancestors
	EV_ANY_I*

Queries
	height: INTEGER_32
	is_destroyed: BOOLEAN
	width: INTEGER_32
	x_hotspot: INTEGER_32
	y_hotspot: INTEGER_32

Commands
	copy_from_pointer_style (a_pointer_style: [like interface] EV_POINTER_STYLE)
	set_x_hotspot (a_x: INTEGER_32)
	set_y_hotspot (a_y: INTEGER_32)