deferred class EV_CHECK_MENU_ITEM_I General cluster: implementation_mswin description: "Eiffel Vision check menu. Implementation interface." Ancestors EV_DESELECTABLE_I* EV_MENU_ITEM_I* Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE drop_actions: EV_PND_ACTION_SEQUENCE pick_actions: EV_PND_START_ACTION_SEQUENCE pick_ended_actions: EV_PND_FINISHED_ACTION_SEQUENCE pointer_button_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE select_actions: EV_NOTIFY_ACTION_SEQUENCE Queries accept_cursor: EV_POINTER_STYLE Default_accept_cursor: EV_POINTER_STYLE Default_deny_cursor: EV_POINTER_STYLE Default_pixmaps: EV_STOCK_PIXMAPS deny_cursor: EV_POINTER_STYLE dockable_dialog_target: EV_DOCKABLE_DIALOG 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_non_sensitive: BOOLEAN Internal_screen: EV_SCREEN is_selectable: BOOLEAN is_selected: BOOLEAN is_transport_enabled: BOOLEAN mode_is_drag_and_drop: BOOLEAN mode_is_pick_and_drop: BOOLEAN mode_is_target_menu: BOOLEAN original_x_offset: INTEGER_16 original_y_offset: INTEGER_16 originating_source: EV_DOCKABLE_SOURCE_I parent: EV_ITEM_LIST [EV_ITEM] parent_imp: EV_ITEM_LIST_I [EV_ITEM] pebble: ANY pebble_function: FUNCTION [ANY, TUPLE, ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 pixmap: EV_PIXMAP pixmap_equal_to (a_pixmap: EV_PIXMAP): BOOLEAN pointer_x: INTEGER_16 pointer_y: INTEGER_16 rubber_band_is_drawn: BOOLEAN source_being_docked: EV_DOCKABLE_SOURCE_I text: STRING_32 user_is_sensitive: BOOLEAN Commands disable_pebble_positioning disable_select disable_transport enable_pebble_positioning enable_select enable_transport remove_insert_label remove_insert_sep remove_pebble remove_pixmap set_accept_cursor (a_cursor: [like accept_cursor] EV_POINTER_STYLE) set_deny_cursor (a_cursor: [like deny_cursor] EV_POINTER_STYLE) set_drag_and_drop_mode set_pebble (a_pebble: [like pebble] ANY) set_pebble_function (a_function: FUNCTION [ANY, TUPLE, ANY]) set_pebble_position (a_x, a_y: INTEGER_32) set_pick_and_drop_mode set_pixmap (a_pixmap: EV_PIXMAP) set_target_menu_mode set_text (a_text: STRING_GENERAL) user_disable_sensitive user_enable_sensitive