Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	SD_VOID_DOCKER_MEDIATOR

General
	cluster: implementation_mswin
	description: "When Docking Manager is locked, use this one instead of SD_DOCKER_MANAGER."
	create: make

Ancestors
	SD_DOCKER_MEDIATOR

Action sequences
	cancel_actions: EV_NOTIFY_ACTION_SEQUENCE

Queries
	caller: SD_ZONE
	caller_top_window: detachable EV_WINDOW
	capture_enabled: [like is_tracing] BOOLEAN
	content: SD_CONTENT
	docking_manager: SD_DOCKING_MANAGER
	ev_application: EV_APPLICATION
	ev_separate_application: separate EV_APPLICATION
	is_dockable: BOOLEAN
	is_tracing: BOOLEAN
	is_tracing_pointer: BOOLEAN
	screen_x: INTEGER_32
	screen_y: INTEGER_32
	Shared_environment: EV_ENVIRONMENT

Commands
	cancel_tracing_pointer
	end_tracing_pointer (a_screen_x, a_screen_y: INTEGER_32)
	on_pointer_motion (a_screen_x, a_screen_y: INTEGER_32)
	start_tracing_pointer (a_offset_x, a_offset_y: INTEGER_32)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org