class
	GAME_MOUSE_BUTTON_RELEASE_EVENT

General
	cluster: event
	description: "Encapsulates the release of a mouse button"
	create: make

Ancestors
	GAME_MOUSE_BUTTON_EVENT*

Queries
	id: NATURAL_32
	is_left_button: BOOLEAN
	is_middle_button: BOOLEAN
	is_optional_button_1: BOOLEAN
	is_optional_button_2: BOOLEAN
	is_right_button: BOOLEAN
	is_touch_device: BOOLEAN
	x: INTEGER_32
	y: INTEGER_32

Generated by ISE EiffelStudio