deferred class
	EV_WIDGET

General
	cluster: vision2.interface.widgets
	description: 
		"Base class for all widgets.
		Facilities for geometry management and user input."
	keywords: "widget, component, control"

Ancestors
	EV_COLORIZABLE
	EV_CONTAINABLE
	EV_HELP_CONTEXTABLE
	EV_PICK_AND_DROPABLE
	EV_POSITIONED
	EV_SENSITIVE
	EV_WIDGET_ACTION_SEQUENCES

Action sequences
	conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE
	drop_actions: EV_PND_ACTION_SEQUENCE
	focus_in_actions: EV_FOCUS_ACTION_SEQUENCE
	focus_out_actions: EV_FOCUS_ACTION_SEQUENCE
	key_press_actions: EV_KEY_ACTION_SEQUENCE
	key_press_string_actions: EV_KEY_STRING_ACTION_SEQUENCE
	key_release_actions: EV_KEY_ACTION_SEQUENCE
	pick_actions: EV_PND_START_ACTION_SEQUENCE
	pointer_button_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE
	pointer_button_release_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE
	pointer_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE
	pointer_enter_actions: EV_NOTIFY_ACTION_SEQUENCE
	pointer_leave_actions: EV_NOTIFY_ACTION_SEQUENCE
	pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE
	resize_actions: EV_GEOMETRY_ACTION_SEQUENCE

Queries
	accept_cursor: EV_CURSOR
	actual_drop_target_agent: FUNCTION [ANY, TUPLE [INTEGER, INTEGER], EV_ABSTRACT_PICK_AND_DROPABLE]
	background_color: EV_COLOR
	data: ANY
	deny_cursor: EV_CURSOR
	foreground_color: EV_COLOR
	has_capture: BOOLEAN
	has_focus: BOOLEAN
	height: INTEGER
	help_context: FUNCTION [ANY, TUPLE, EV_HELP_CONTEXT]
	id_object (an_id: INTEGER): IDENTIFIED
	is_destroyed: BOOLEAN
	is_displayed: BOOLEAN
	is_parent_recursive (a_widget: EV_WIDGET): BOOLEAN
	is_sensitive: BOOLEAN
	is_show_requested: BOOLEAN
	minimum_height: INTEGER
	minimum_width: INTEGER
	mode_is_drag_and_drop: BOOLEAN
	mode_is_pick_and_drop: BOOLEAN
	mode_is_target_menu: BOOLEAN
	object_id: INTEGER
	parent: EV_CONTAINER
	pebble: ANY
	pebble_function: FUNCTION [ANY, TUPLE, ANY]
	pebble_positioning_enabled: BOOLEAN
	pebble_x_position: INTEGER
	pebble_y_position: INTEGER
	pointer_position: EV_COORDINATE
	pointer_style: EV_CURSOR
	screen_x: INTEGER
	screen_y: INTEGER
	target_name: STRING
	width: INTEGER
	x_position: INTEGER
	y_position: INTEGER

Commands
	center_pointer
	copy (other: [like Current] EV_WIDGET)
	default_create
	destroy
	disable_capture
	disable_pebble_positioning
	disable_sensitive
	enable_capture
	enable_pebble_positioning
	enable_sensitive
	hide
	remove_help_context
	remove_pebble
	set_accept_cursor (a_cursor: EV_CURSOR)
	set_actual_drop_target_agent (an_agent: [like actual_drop_target_agent] FUNCTION [ANY, TUPLE [INTEGER, INTEGER], EV_ABSTRACT_PICK_AND_DROPABLE])
	set_background_color (a_color: [like background_color] EV_COLOR)
	set_data (some_data: [like data] ANY)
	set_default_colors
	set_deny_cursor (a_cursor: EV_CURSOR)
	set_drag_and_drop_mode
	set_focus
	set_foreground_color (a_color: [like foreground_color] EV_COLOR)
	set_help_context (an_help_context: [like help_context] FUNCTION [ANY, TUPLE, EV_HELP_CONTEXT])
	set_minimum_height (a_minimum_height: INTEGER)
	set_minimum_size (a_minimum_width, a_minimum_height: INTEGER)
	set_minimum_width (a_minimum_width: INTEGER)
	set_pebble (a_pebble: [like pebble] ANY)
	set_pebble_function (a_function: FUNCTION [ANY, TUPLE, ANY])
	set_pebble_position (a_x, a_y: INTEGER)
	set_pick_and_drop_mode
	set_pointer_style (a_cursor: [like pointer_style] EV_CURSOR)
	set_target_menu_mode
	set_target_name (a_name: STRING)
	show

Constraints
	pointer position not void
	is displayed implies show requested
	parent contains current