class
	EV_APPLICATION

General
	cluster: vision2.interface.kernel
	description: 
		"Eiffel Vision Application.
		To start an Eiffel Vision application: create exactly oneEV_APPLICATION object and call `launch' after setting up initialwindow(s)"
	keywords: "application, accelerator, event loop"

Ancestors
	EV_ANY
	EV_APPLICATION_ACTION_SEQUENCES

Action sequences
	drop_actions: EV_PND_ACTION_SEQUENCE
	idle_actions: EV_NOTIFY_ACTION_SEQUENCE
	pick_actions: EV_PND_ACTION_SEQUENCE
	post_launch_actions: EV_NOTIFY_ACTION_SEQUENCE

Queries
	alt_pressed: BOOLEAN
	clipboard: EV_CLIPBOARD
	contextual_help_accelerator: EV_ACCELERATOR
	ctrl_pressed: BOOLEAN
	data: ANY
	Default_tooltip_delay: INTEGER
	focused_widget: EV_WIDGET
	help_accelerator: EV_ACCELERATOR
	help_engine: EV_HELP_ENGINE
	is_destroyed: BOOLEAN
	is_launched: BOOLEAN
	locked_window: EV_WINDOW
	shift_pressed: BOOLEAN
	tooltip_delay: INTEGER
	windows: LINEAR [EV_WINDOW]

Commands
	copy (other: [like Current] EV_APPLICATION)
	default_create
	destroy
	display_help_for_widget (a_widget: EV_WIDGET)
	do_once_on_idle (an_action: PROCEDURE [ANY, TUPLE])
	enable_contextual_help
	launch
	process_events
	set_contextual_help_accelerator (an_accelerator: EV_ACCELERATOR)
	set_data (some_data: [like data] ANY)
	set_help_accelerator (an_accelerator: EV_ACCELERATOR)
	set_help_engine (an_engine: EV_HELP_ENGINE)
	set_tooltip_delay (a_delay: INTEGER)
	sleep (msec: INTEGER)

Constraints
	tooltip delay not negative
	windows not void