Automatic generation produced by ISE Eiffel
deferred class EV_DOCKABLE_SOURCE_IMP General cluster: implementation_mswin description: "Windows implementation of dockable source." Ancestors EV_DOCKABLE_SOURCE_I* EV_SHARED_TRANSPORT_IMP* Action sequences dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE Queries awaiting_movement: BOOLEAN closest_dockable_target: detachable EV_DOCKABLE_TARGET Default_accept_cursor: EV_POINTER_STYLE Default_deny_cursor: EV_POINTER_STYLE Default_pixmaps: EV_STOCK_PIXMAPS dockable_dialog_target: detachable EV_DOCKABLE_DIALOG Drag_and_drop_starting_movement: INTEGER_32 Drag_cursor: EV_POINTER_STYLE get_next_target (a_widget: EV_WIDGET): detachable EV_DOCKABLE_TARGET Global_drag_targets: ARRAYED_LIST [INTEGER_32] Global_pnd_targets: HASH_TABLE [INTEGER_32, INTEGER_32] Insert_label: EV_CELL Insert_label_imp: EV_CELL_I Insert_sep: EV_TOOL_BAR_SEPARATOR Insert_sep_imp: EV_TOOL_BAR_SEPARATOR_I Internal_screen: EV_SCREEN is_destroyed: BOOLEAN is_dock_executing: BOOLEAN is_dockable: BOOLEAN is_external_docking_enabled: BOOLEAN is_external_docking_relative: BOOLEAN not_external_docking_enabled: BOOLEAN not_is_external_docking_relative: BOOLEAN original_parent_position: INTEGER_32 original_pressure: REAL_64 original_x: INTEGER_32 original_x_offset: INTEGER_16 original_x_tilt: REAL_64 original_y: INTEGER_32 original_y_offset: INTEGER_16 original_y_tilt: REAL_64 originating_source: detachable EV_DOCKABLE_SOURCE_I pointer_x: INTEGER_16 pointer_y: INTEGER_16 real_source: detachable EV_DOCKABLE_SOURCE rubber_band_is_drawn: BOOLEAN source_being_docked: detachable EV_DOCKABLE_SOURCE_I wel_has_capture: BOOLEAN widget_imp_at_pointer_position: detachable EV_WIDGET_IMP Commands check_dragable_release (a_x, a_y: INTEGER_32) close_dockable_dialog (dockable_dialog: EV_DOCKABLE_DIALOG) complete_dock disable_dockable disable_external_docking disable_external_docking_relative dragable_motion (a_x, a_y, a_screen_x, a_screen_y: INTEGER_32) dragable_press (a_x, a_y, a_button, a_screen_x, a_screen_y: INTEGER_32) enable_dockable enable_external_docking enable_external_docking_relative internal_disable_dockable internal_enable_dockable release_capture remove_insert_label remove_insert_sep remove_real_source set_capture set_real_source (dockable_source: EV_DOCKABLE_SOURCE) -- Generated by Eiffel Studio --
For more details: eiffel.org