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