Automatic generation produced by ISE Eiffel
class EV_MENU_IMP General cluster: implementation_mswin description: "EiffelVision menu. Mswindows implementation." create: make Ancestors EV_MENU_I* EV_MENU_ITEM_IMP EV_MENU_ITEM_LIST_IMP* Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE drop_actions: EV_PND_ACTION_SEQUENCE item_select_actions: EV_MENU_ITEM_SELECT_ACTION_SEQUENCE new_item_actions: EV_LITE_ACTION_SEQUENCE [EV_ITEM] 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 remove_item_actions: EV_LITE_ACTION_SEQUENCE [EV_ITEM] select_actions: EV_NOTIFY_ACTION_SEQUENCE Queries accept_cursor: detachable EV_POINTER_STYLE awaiting_movement: BOOLEAN build_number: INTEGER_32 caption_font: WEL_FONT capture_enabled: BOOLEAN clear_flag (flags, mask: INTEGER_32): INTEGER_32 Comctl32_version: INTEGER_32 configurable_target_menu_handler: detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY] count: INTEGER_32 cursor: EV_DYNAMIC_LIST_CURSOR [EV_MENU_ITEM] cwin_hi_word (value: POINTER): INTEGER_32 cwin_lo_word (value: POINTER): INTEGER_32 cwin_make_long (low, high: INTEGER_32): POINTER cwin_make_lparam (low, high: INTEGER_32): POINTER Default_accept_cursor: EV_POINTER_STYLE Default_deny_cursor: EV_POINTER_STYLE Default_pixmaps: EV_STOCK_PIXMAPS deny_cursor: detachable EV_POINTER_STYLE dockable_dialog_target: detachable EV_DOCKABLE_DIALOG dpi: NATURAL_32 Drag_and_drop_starting_movement: INTEGER_32 dwlp_dlgproc: INTEGER_32 dwlp_msgresult: INTEGER_32 dwlp_user: INTEGER_32 eif_current_object_id: INTEGER_32 eif_id_any_object (an_id: INTEGER_32): detachable ANY eif_is_object_id_of_current (an_id: INTEGER_32): BOOLEAN eif_object_id (an_object: ANY): INTEGER_32 exists: BOOLEAN flag_set (flags, mask: INTEGER_32): BOOLEAN foreground_window: detachable WEL_WINDOW get_non_client_metrics: WEL_NON_CLIENT_METRICS get_wheel_scroll_lines: INTEGER_32 Global_drag_targets: ARRAYED_LIST [INTEGER_32] Global_pnd_targets: HASH_TABLE [INTEGER_32, INTEGER_32] gui_font: WEL_FONT Gwl_exstyle: INTEGER_32 Gwl_hinstance: INTEGER_32 Gwl_hwndparent: INTEGER_32 Gwl_id: INTEGER_32 Gwl_style: INTEGER_32 Gwl_userdata: INTEGER_32 Gwl_wndproc: INTEGER_32 Gwlp_hinstance: INTEGER_32 Gwlp_hwndparent: INTEGER_32 Gwlp_id: INTEGER_32 Gwlp_userdata: INTEGER_32 Gwlp_wndproc: INTEGER_32 has (v: [detachable like item] detachable EV_MENU_ITEM): BOOLEAN has_drag_full_windows: BOOLEAN has_flat_menu: BOOLEAN has_heavy_capture: BOOLEAN has_windows95_plus: BOOLEAN height: INTEGER_32 i_th (i: INTEGER_32): [like item] EV_MENU_ITEM id: INTEGER_32 id_string (an_id: INTEGER_32): STRING_32 index: INTEGER_32 index_of (v: [detachable like item] detachable EV_MENU_ITEM; i: 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_destroyed: BOOLEAN is_sensitive: BOOLEAN is_terminal_service: BOOLEAN is_transport_enabled: BOOLEAN is_window (hwnd: POINTER): BOOLEAN is_windows_2000: BOOLEAN is_windows_2000_compatible: BOOLEAN is_windows_95: BOOLEAN is_windows_98: BOOLEAN is_windows_98_compatible: BOOLEAN is_windows_9x: BOOLEAN is_windows_me: BOOLEAN is_windows_me_compatible: BOOLEAN is_windows_nt: BOOLEAN is_windows_nt4: BOOLEAN is_windows_nt4_compatible: BOOLEAN is_windows_vista: BOOLEAN is_windows_xp: BOOLEAN is_windows_xp_compatible: BOOLEAN item: EV_MENU_ITEM item_by_data (data: ANY): [detachable like item] detachable EV_MENU_ITEM item_checked (an_id: INTEGER_32): BOOLEAN item_enabled (an_id: INTEGER_32): BOOLEAN item_exists (an_id: INTEGER_32): BOOLEAN key_down (virtual_key: INTEGER_32): BOOLEAN key_locked (virtual_key: INTEGER_32): BOOLEAN key_to_string (key_data: INTEGER_32): STRING_32 major_version: INTEGER_32 Mb_abortretryignore: INTEGER_32 Mb_applmodal: INTEGER_32 Mb_default_desktop_only: INTEGER_32 Mb_defbutton1: INTEGER_32 Mb_defbutton2: INTEGER_32 Mb_defbutton3: INTEGER_32 Mb_defmask: INTEGER_32 Mb_help: INTEGER_32 Mb_iconasterisk: INTEGER_32 Mb_iconerror: INTEGER_32 Mb_iconexclamation: INTEGER_32 Mb_iconhand: INTEGER_32 Mb_iconinformation: INTEGER_32 Mb_iconmask: INTEGER_32 Mb_iconquestion: INTEGER_32 Mb_iconstop: INTEGER_32 Mb_iconwarning: INTEGER_32 Mb_nofocus: INTEGER_32 Mb_ok: INTEGER_32 Mb_okcancel: INTEGER_32 Mb_retrycancel: INTEGER_32 Mb_right: INTEGER_32 Mb_rtlreading: INTEGER_32 Mb_setforeground: INTEGER_32 Mb_systemmodal: INTEGER_32 Mb_taskmodal: INTEGER_32 Mb_topmost: INTEGER_32 Mb_typemask: INTEGER_32 Mb_usericon: INTEGER_32 Mb_yesno: INTEGER_32 Mb_yesnocancel: INTEGER_32 menu_font: WEL_FONT message_font: WEL_FONT Mf_append: INTEGER_32 Mf_bitmap: INTEGER_32 Mf_bycommand: INTEGER_32 Mf_byposition: INTEGER_32 Mf_change: INTEGER_32 Mf_checked: INTEGER_32 Mf_delete: INTEGER_32 Mf_disabled: INTEGER_32 Mf_enabled: INTEGER_32 Mf_end: INTEGER_32 Mf_grayed: INTEGER_32 Mf_help: INTEGER_32 Mf_hilite: INTEGER_32 Mf_insert: INTEGER_32 Mf_menubarbreak: INTEGER_32 Mf_menubreak: INTEGER_32 Mf_mouseselect: INTEGER_32 Mf_ownerdraw: INTEGER_32 Mf_popup: INTEGER_32 Mf_remove: INTEGER_32 Mf_separator: INTEGER_32 Mf_string: INTEGER_32 Mf_sysmenu: INTEGER_32 Mf_unchecked: INTEGER_32 Mf_unhilite: INTEGER_32 Mf_usecheckbitmaps: INTEGER_32 minimum_height: INTEGER_32 minimum_width: INTEGER_32 minor_version: INTEGER_32 mode_is_configurable_target_menu: BOOLEAN mode_is_drag_and_drop: BOOLEAN mode_is_pick_and_drop: BOOLEAN mode_is_target_menu: BOOLEAN object_id: INTEGER_32 off: BOOLEAN 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 parent: detachable EV_MENU_ITEM_LIST parent_imp: detachable EV_MENU_ITEM_LIST_IMP pebble: detachable ANY pebble_function: detachable FUNCTION [detachable ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 pixmap: detachable EV_PIXMAP pixmap_equal_to (a_pixmap: EV_PIXMAP): BOOLEAN pixmap_imp: detachable EV_PIXMAP_IMP_STATE pnd_original_parent: detachable EV_PICK_AND_DROPABLE_ITEM_HOLDER_IMP pointer_x: INTEGER_16 pointer_y: INTEGER_16 popup_exists (position: INTEGER_32): BOOLEAN popup_menu (position: INTEGER_32): WEL_MENU position_enabled (position: INTEGER_32): BOOLEAN position_to_item_id (position: INTEGER_32): INTEGER_32 resource_string_id (an_id: INTEGER_32): STRING_32 retrieve_item_by_data (data: detachable ANY; should_compare_objects: BOOLEAN): detachable EV_MENU_ITEM retrieve_items_by_data (data: ANY; should_compare_objects: BOOLEAN): ARRAYED_LIST [EV_MENU_ITEM] rubber_band_is_drawn: BOOLEAN screen_x: INTEGER_32 screen_y: INTEGER_32 set_flag (flags, mask: INTEGER_32): INTEGER_32 shared: BOOLEAN Shell32_version: INTEGER_32 Shlwapi_version: INTEGER_32 small_caption_font: WEL_FONT source_being_docked: detachable EV_DOCKABLE_SOURCE_I Spi_getaccesstimeout: INTEGER_32 Spi_getactivewindowtracking: INTEGER_32 Spi_getactivewndtrktimeout: INTEGER_32 Spi_getactivewndtrkzorder: INTEGER_32 Spi_getanimation: INTEGER_32 Spi_getbeep: INTEGER_32 Spi_getborder: INTEGER_32 Spi_getcaretwidth: INTEGER_32 Spi_getcomboboxanimation: INTEGER_32 Spi_getcursorshadow: INTEGER_32 Spi_getdefaultinputlang: INTEGER_32 Spi_getdeskwallpaper: INTEGER_32 Spi_getdragfullwindows: INTEGER_32 Spi_getdropshadow: INTEGER_32 Spi_getfasttaskswitch: INTEGER_32 Spi_getfilterkeys: INTEGER_32 Spi_getflatmenu: INTEGER_32 Spi_getfocusborderheight: INTEGER_32 Spi_getfocusborderwidth: INTEGER_32 Spi_getfontsmoothing: INTEGER_32 Spi_getfontsmoothingcontrast: INTEGER_32 Spi_getfontsmoothingtype: INTEGER_32 Spi_getforegroundflashcount: INTEGER_32 Spi_getforegroundlocktimeout: INTEGER_32 Spi_getgradientcaptions: INTEGER_32 Spi_getgridgranularity: INTEGER_32 Spi_gethighcontrast: INTEGER_32 Spi_gethottracking: INTEGER_32 Spi_geticonmetrics: INTEGER_32 Spi_geticontitlelogfont: INTEGER_32 Spi_geticontitlewrap: INTEGER_32 Spi_getkeyboardcues: INTEGER_32 Spi_getkeyboarddelay: INTEGER_32 Spi_getkeyboardpref: INTEGER_32 Spi_getkeyboardspeed: INTEGER_32 Spi_getlistboxsmoothscrolling: INTEGER_32 Spi_getlowpoweractive: INTEGER_32 Spi_getlowpowertimeout: INTEGER_32 Spi_getmenuanimation: INTEGER_32 Spi_getmenudropalignment: INTEGER_32 Spi_getmenufade: INTEGER_32 Spi_getmenushowdelay: INTEGER_32 Spi_getmenuunderlines: INTEGER_32 Spi_getminimizedmetrics: INTEGER_32 Spi_getmouse: INTEGER_32 Spi_getmouseclicklock: INTEGER_32 Spi_getmouseclicklocktime: INTEGER_32 Spi_getmousehoverheight: INTEGER_32 Spi_getmousehovertime: INTEGER_32 Spi_getmousehoverwidth: INTEGER_32 Spi_getmousekeys: INTEGER_32 Spi_getmousesonar: INTEGER_32 Spi_getmousespeed: INTEGER_32 Spi_getmousetrails: INTEGER_32 Spi_getmousevanish: INTEGER_32 Spi_getnonclientmetrics: INTEGER_32 Spi_getpoweroffactive: INTEGER_32 Spi_getpowerofftimeout: INTEGER_32 Spi_getscreenreader: INTEGER_32 Spi_getscreensaveactive: INTEGER_32 Spi_getscreensaverrunning: INTEGER_32 Spi_getscreensavetimeout: INTEGER_32 Spi_getselectionfade: INTEGER_32 Spi_getserialkeys: INTEGER_32 Spi_getshowimeui: INTEGER_32 Spi_getshowsounds: INTEGER_32 Spi_getsnaptodefbutton: INTEGER_32 Spi_getsoundsentry: INTEGER_32 Spi_getstickykeys: INTEGER_32 Spi_gettogglekeys: INTEGER_32 Spi_gettooltipanimation: INTEGER_32 Spi_gettooltipfade: INTEGER_32 Spi_getuieffects: INTEGER_32 Spi_getwheelscrolllines: INTEGER_32 Spi_getwindowsextension: INTEGER_32 Spi_getworkarea: INTEGER_32 Spi_iconhorizontalspacing: INTEGER_32 Spi_iconverticalspacing: INTEGER_32 Spi_langdriver: INTEGER_32 Spi_screensaverrunning: INTEGER_32 Spi_setaccesstimeout: INTEGER_32 Spi_setactivewindowtracking: INTEGER_32 Spi_setactivewndtrktimeout: INTEGER_32 Spi_setactivewndtrkzorder: INTEGER_32 Spi_setanimation: INTEGER_32 Spi_setbeep: INTEGER_32 Spi_setborder: INTEGER_32 Spi_setcaretwidth: INTEGER_32 Spi_setcomboboxanimation: INTEGER_32 Spi_setcursors: INTEGER_32 Spi_setcursorshadow: INTEGER_32 Spi_setdefaultinputlang: INTEGER_32 Spi_setdeskpattern: INTEGER_32 Spi_setdeskwallpaper: INTEGER_32 Spi_setdoubleclicktime: INTEGER_32 Spi_setdoubleclkheight: INTEGER_32 Spi_setdoubleclkwidth: INTEGER_32 Spi_setdragfullwindows: INTEGER_32 Spi_setdragheight: INTEGER_32 Spi_setdragwidth: INTEGER_32 Spi_setdropshadow: INTEGER_32 Spi_setfasttaskswitch: INTEGER_32 Spi_setfilterkeys: INTEGER_32 Spi_setflatmenu: INTEGER_32 Spi_setfocusborderheight: INTEGER_32 Spi_setfocusborderwidth: INTEGER_32 Spi_setfontsmoothing: INTEGER_32 Spi_setfontsmoothingcontrast: INTEGER_32 Spi_setfontsmoothingtype: INTEGER_32 Spi_setforegroundflashcount: INTEGER_32 Spi_setforegroundlocktimeout: INTEGER_32 Spi_setgradientcaptions: INTEGER_32 Spi_setgridgranularity: INTEGER_32 Spi_sethandheld: INTEGER_32 Spi_sethighcontrast: INTEGER_32 Spi_sethottracking: INTEGER_32 Spi_seticonmetrics: INTEGER_32 Spi_seticons: INTEGER_32 Spi_seticontitlelogfont: INTEGER_32 Spi_seticontitlewrap: INTEGER_32 Spi_setkeyboardcues: INTEGER_32 Spi_setkeyboarddelay: INTEGER_32 Spi_setkeyboardpref: INTEGER_32 Spi_setkeyboardspeed: INTEGER_32 Spi_setlangtoggle: INTEGER_32 Spi_setlistboxsmoothscrolling: INTEGER_32 Spi_setlowpoweractive: INTEGER_32 Spi_setlowpowertimeout: INTEGER_32 Spi_setmenuanimation: INTEGER_32 Spi_setmenudropalignment: INTEGER_32 Spi_setmenufade: INTEGER_32 Spi_setmenushowdelay: INTEGER_32 Spi_setmenuunderlines: INTEGER_32 Spi_setminimizedmetrics: INTEGER_32 Spi_setmouse: INTEGER_32 Spi_setmousebuttonswap: INTEGER_32 Spi_setmouseclicklock: INTEGER_32 Spi_setmouseclicklocktime: INTEGER_32 Spi_setmousehoverheight: INTEGER_32 Spi_setmousehovertime: INTEGER_32 Spi_setmousehoverwidth: INTEGER_32 Spi_setmousekeys: INTEGER_32 Spi_setmousesonar: INTEGER_32 Spi_setmousespeed: INTEGER_32 Spi_setmousetrails: INTEGER_32 Spi_setmousevanish: INTEGER_32 Spi_setnonclientmetrics: INTEGER_32 Spi_setpenwindows: INTEGER_32 Spi_setpoweroffactive: INTEGER_32 Spi_setpowerofftimeout: INTEGER_32 Spi_setscreenreader: INTEGER_32 Spi_setscreensaveactive: INTEGER_32 Spi_setscreensaverrunning: INTEGER_32 Spi_setscreensavetimeout: INTEGER_32 Spi_setselectionfade: INTEGER_32 Spi_setserialkeys: INTEGER_32 Spi_setshowimeui: INTEGER_32 Spi_setshowsounds: INTEGER_32 Spi_setsnaptodefbutton: INTEGER_32 Spi_setsoundsentry: INTEGER_32 Spi_setstickykeys: INTEGER_32 Spi_settogglekeys: INTEGER_32 Spi_settooltipanimation: INTEGER_32 Spi_settooltipfade: INTEGER_32 Spi_setuieffects: INTEGER_32 Spi_setwheelscrolllines: INTEGER_32 Spi_setworkarea: INTEGER_32 Spif_sendchange: INTEGER_32 Spif_sendwininichange: INTEGER_32 Spif_updateinifile: INTEGER_32 status_font: WEL_FONT system_color_3dface: WEL_COLOR_REF system_color_3dhighlight: WEL_COLOR_REF system_color_3dhilight: WEL_COLOR_REF system_color_3dshadow: WEL_COLOR_REF system_color_activeborder: WEL_COLOR_REF system_color_activecaption: WEL_COLOR_REF system_color_appworkspace: WEL_COLOR_REF system_color_background: WEL_COLOR_REF system_color_btnface: WEL_COLOR_REF system_color_btnhighlight: WEL_COLOR_REF system_color_btnhilight: WEL_COLOR_REF system_color_btnshadow: WEL_COLOR_REF system_color_btntext: WEL_COLOR_REF system_color_captiontext: WEL_COLOR_REF system_color_desktop: WEL_COLOR_REF system_color_gradientactivecaption: WEL_COLOR_REF system_color_gradientinactivecaption: WEL_COLOR_REF system_color_graytext: WEL_COLOR_REF system_color_highlight: WEL_COLOR_REF system_color_highlighttext: WEL_COLOR_REF system_color_hotlight: WEL_COLOR_REF system_color_inactiveborder: WEL_COLOR_REF system_color_inactivecaption: WEL_COLOR_REF system_color_inactivecaptiontext: WEL_COLOR_REF system_color_info_text: WEL_COLOR_REF system_color_infobk: WEL_COLOR_REF system_color_menu: WEL_COLOR_REF system_color_menubar: WEL_COLOR_REF system_color_menuhilight: WEL_COLOR_REF system_color_menutext: WEL_COLOR_REF system_color_scrollbar: WEL_COLOR_REF system_color_window: WEL_COLOR_REF system_color_windowframe: WEL_COLOR_REF system_color_windowtext: WEL_COLOR_REF system_directory: STRING_32 system_font: WEL_FONT text: STRING_32 tick_count: INTEGER_32 to_lparam (i: INTEGER_32): POINTER to_lresult (i: INTEGER_32): POINTER to_wparam (i: INTEGER_32): POINTER top_level_window_imp: detachable EV_WINDOW_IMP tpm_bottomalign: INTEGER_32 tpm_centeralign: INTEGER_32 tpm_leftalign: INTEGER_32 tpm_leftbutton: INTEGER_32 tpm_returncmd: INTEGER_32 tpm_rightalign: INTEGER_32 tpm_rightbutton: INTEGER_32 tpm_topalign: INTEGER_32 tpm_vcenteralign: INTEGER_32 transport_executing: BOOLEAN user_is_sensitive: BOOLEAN valid_cursor (p: CURSOR): BOOLEAN Version_400: INTEGER_32 Version_470: INTEGER_32 Version_471: INTEGER_32 Version_472: INTEGER_32 Version_500: INTEGER_32 Version_580: INTEGER_32 Version_581: INTEGER_32 Version_600: INTEGER_32 version_info: detachable WEL_OS_VERSION_INFO version_number_string: STRING_8 Wel_color_constants: WEL_COLOR_CONSTANTS wel_count: INTEGER_32 Wel_drawing_constants: WEL_DRAWING_CONSTANTS Wel_ht_constants: WEL_HT_CONSTANTS Wel_input_constants: WEL_INPUT_CONSTANTS wel_item: POINTER Wel_list_view_constants: WEL_LIST_VIEW_CONSTANTS Wel_ownerdraw_constants: WEL_ODS_CONSTANTS Wel_window_constants: WEL_WINDOW_CONSTANTS widget_imp_at_pointer_position: detachable EV_WIDGET_IMP width: INTEGER_32 window_of_item (hwnd: POINTER): detachable WEL_WINDOW windows_directory: STRING_32 x_position: INTEGER_32 y_position: INTEGER_32 Commands append (s: SEQUENCE [EV_MENU_ITEM]) append_bitmap (bitmap: WEL_BITMAP; an_id: INTEGER_32) append_popup (a_menu: WEL_MENU; a_title: READABLE_STRING_GENERAL) append_separator append_string (a_string: READABLE_STRING_GENERAL; an_id: INTEGER_32) append_string_with_break (a_string: READABLE_STRING_GENERAL; an_id: INTEGER_32; has_separator: BOOLEAN) back check_drag_and_drop_release (a_x, a_y: INTEGER_32) check_item (an_id: INTEGER_32) delete_item (an_id: INTEGER_32) delete_position (position: INTEGER_32) destroy disable_item (an_id: INTEGER_32) disable_pebble_positioning disable_position (position: INTEGER_32) disable_sensitive disable_transport dispose eif_object_id_free (an_id: INTEGER_32) enable_item (an_id: INTEGER_32) enable_pebble_positioning enable_position (position: INTEGER_32) enable_sensitive enable_transport escape_pnd extend (v: [like item] EV_MENU_ITEM) forth go_i_th (i: INTEGER_32) go_to (p: CURSOR) hide_cursor hilite_menu_item (window: WEL_COMPOSITE_WINDOW; an_id: INTEGER_32) insert_bitmap (bitmap: WEL_BITMAP; a_position, an_id: INTEGER_32) insert_popup (a_menu: WEL_MENU; a_position: INTEGER_32; a_title: READABLE_STRING_GENERAL) insert_separator (a_position: INTEGER_32) insert_string (a_string: READABLE_STRING_GENERAL; a_position, an_id: INTEGER_32) make merge_left (other: [like attached_interface] attached EV_MENU) merge_right (other: [like attached_interface] attached EV_MENU) message_beep_asterisk message_beep_exclamation message_beep_hand message_beep_ok message_beep_question modify_string (a_string: READABLE_STRING_GENERAL; an_id: INTEGER_32) move (i: INTEGER_32) old_make (an_interface: [attached like interface] attached EV_MENU) output_debug_string (s: READABLE_STRING_GENERAL) pnd_motion (a_x, a_y, a_screen_x, a_screen_y: INTEGER_32) pnd_press (a_x, a_y, a_button, a_screen_x, a_screen_y: INTEGER_32) prune (v: [like item] EV_MENU_ITEM) put_front (v: [like item] EV_MENU_ITEM) put_i_th (v: [like item] EV_MENU_ITEM; i: INTEGER_32) put_left (v: [like item] EV_MENU_ITEM) put_right (v: [like item] EV_MENU_ITEM) redraw (window: WEL_COMPOSITE_WINDOW) release_capture release_heavy_capture remove remove_insert_label remove_insert_sep remove_left remove_pebble remove_pixmap remove_position (position: INTEGER_32) remove_right replace (v: [like item] EV_MENU_ITEM) reset_pebble_function set_accept_cursor (a_cursor: [like accept_cursor] detachable EV_POINTER_STYLE) set_capture set_configurable_target_menu_handler (a_handler: [like configurable_target_menu_handler] detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY]) set_configurable_target_menu_mode set_cursor_position_absolute (x, y: INTEGER_32) set_deny_cursor (a_cursor: [like deny_cursor] detachable EV_POINTER_STYLE) set_drag_and_drop_mode set_heavy_capture set_item (an_item: POINTER) set_parent_imp (a_parent_imp: [like parent_imp] detachable EV_MENU_ITEM_LIST_IMP) set_pebble (a_pebble: ANY) set_pebble_function (a_function: FUNCTION [detachable ANY]) set_pebble_position (a_x, a_y: INTEGER_32) set_pick_and_drop_mode set_pixmap (a_pixmap: EV_PIXMAP) set_pnd_original_parent set_pointer_style (c: EV_POINTER_STYLE) set_shared set_target_menu_mode set_text (a_text: READABLE_STRING_GENERAL) set_unshared show show_at (a_widget: detachable EV_WIDGET; a_x, a_y: INTEGER_32) show_configurable_target_menu (a_x, a_y: INTEGER_32) show_cursor show_track (x, y: INTEGER_32; window: WEL_COMPOSITE_WINDOW) show_track_with_option (x, y: INTEGER_32; window: WEL_COMPOSITE_WINDOW; option: INTEGER_32; rect: detachable WEL_RECT) start uncheck_item (an_id: INTEGER_32) unhilite_menu_item (window: WEL_COMPOSITE_WINDOW; an_id: INTEGER_32) user_disable_sensitive user_enable_sensitive wipe_out -- Generated by Eiffel Studio --
For more details: eiffel.org