Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_MENU_SEPARATOR_IMP General cluster: implementation_mswin description: "Eiffel Vision menu separator. Mswindows implementation." create: make Ancestors EV_MENU_ITEM_IMP EV_MENU_SEPARATOR_I* EV_SYSTEM_PEN_IMP 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: detachable EV_POINTER_STYLE awaiting_movement: BOOLEAN Black: WEL_COLOR_REF Black_pen: WEL_PEN Blue: WEL_COLOR_REF Blue_pen: WEL_PEN build_number: INTEGER_32 caption_font: WEL_FONT capture_enabled: BOOLEAN Color_3ddkshadow: INTEGER_32 Color_3dface: INTEGER_32 Color_3dhighlight: INTEGER_32 Color_3dhilight: INTEGER_32 Color_3dlight: INTEGER_32 Color_3dshadow: INTEGER_32 Color_activeborder: INTEGER_32 Color_activecaption: INTEGER_32 Color_appworkspace: INTEGER_32 Color_background: INTEGER_32 Color_btnface: INTEGER_32 Color_btnhighlight: INTEGER_32 Color_btnhilight: INTEGER_32 Color_btnshadow: INTEGER_32 Color_btntext: INTEGER_32 Color_captiontext: INTEGER_32 Color_desktop: INTEGER_32 Color_gradientactivecaption: INTEGER_32 Color_gradientinactivecaption: INTEGER_32 Color_graytext: INTEGER_32 Color_highlight: INTEGER_32 Color_highlighttext: INTEGER_32 Color_hotlight: INTEGER_32 Color_inactiveborder: INTEGER_32 Color_inactivecaption: INTEGER_32 Color_inactivecaptiontext: INTEGER_32 Color_infobk: INTEGER_32 Color_infotext: INTEGER_32 Color_menu: INTEGER_32 Color_menubar: INTEGER_32 Color_menuhilight: INTEGER_32 Color_menutext: INTEGER_32 Color_scrollbar: INTEGER_32 Color_window: INTEGER_32 Color_windowframe: INTEGER_32 Color_windowtext: 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] 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 Cyan: WEL_COLOR_REF Cyan_pen: WEL_PEN Dark_blue: WEL_COLOR_REF Dark_blue_pen: WEL_PEN Dark_cyan: WEL_COLOR_REF Dark_cyan_pen: WEL_PEN Dark_gray: WEL_COLOR_REF Dark_green: WEL_COLOR_REF Dark_green_pen: WEL_PEN Dark_grey: WEL_COLOR_REF Dark_grey_pen: WEL_PEN Dark_magenta: WEL_COLOR_REF Dark_magenta_pen: WEL_PEN Dark_red: WEL_COLOR_REF Dark_red_pen: WEL_PEN Dark_yellow: WEL_COLOR_REF Dark_yellow_pen: WEL_PEN 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 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] Gray: WEL_COLOR_REF Green: WEL_COLOR_REF Green_pen: WEL_PEN Grey: WEL_COLOR_REF Grey_pen: WEL_PEN 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_drag_full_windows: BOOLEAN has_flat_menu: BOOLEAN has_heavy_capture: BOOLEAN has_windows95_plus: BOOLEAN height: INTEGER_32 id: 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 key_down (virtual_key: INTEGER_32): BOOLEAN key_locked (virtual_key: INTEGER_32): BOOLEAN key_to_string (key_data: INTEGER_32): STRING_32 Magenta: WEL_COLOR_REF Magenta_pen: WEL_PEN 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 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 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 Ps_alternate: INTEGER_32 Ps_cosmetic: INTEGER_32 Ps_dash: INTEGER_32 Ps_dashdot: INTEGER_32 Ps_dashdotdot: INTEGER_32 Ps_dot: INTEGER_32 Ps_endcap_flat: INTEGER_32 Ps_endcap_round: INTEGER_32 Ps_endcap_square: INTEGER_32 Ps_geometric: INTEGER_32 Ps_insideframe: INTEGER_32 Ps_join_bevel: INTEGER_32 Ps_join_miter: INTEGER_32 Ps_join_round: INTEGER_32 Ps_null: INTEGER_32 Ps_solid: INTEGER_32 Ps_userstyle: INTEGER_32 Red: WEL_COLOR_REF Red_pen: WEL_PEN resource_string_id (an_id: INTEGER_32): STRING_32 rubber_band_is_drawn: BOOLEAN screen_x: INTEGER_32 screen_y: INTEGER_32 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 transport_executing: BOOLEAN user_is_sensitive: BOOLEAN valid_color_constant (c: INTEGER_32): BOOLEAN valid_extended_pen_style (c: INTEGER_32): BOOLEAN valid_pen_style_constant (c: INTEGER_32): 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_drawing_constants: WEL_DRAWING_CONSTANTS Wel_ht_constants: WEL_HT_CONSTANTS Wel_input_constants: WEL_INPUT_CONSTANTS Wel_list_view_constants: WEL_LIST_VIEW_CONSTANTS Wel_ownerdraw_constants: WEL_ODS_CONSTANTS Wel_window_constants: WEL_WINDOW_CONSTANTS White: WEL_COLOR_REF White_pen: WEL_PEN 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 Yellow: WEL_COLOR_REF Yellow_pen: WEL_PEN Commands check_drag_and_drop_release (a_x, a_y: INTEGER_32) destroy disable_pebble_positioning disable_sensitive disable_transport dispose eif_object_id_free (an_id: INTEGER_32) enable_pebble_positioning enable_sensitive enable_transport escape_pnd hide_cursor make message_beep_asterisk message_beep_exclamation message_beep_hand message_beep_ok message_beep_question old_make (an_interface: [attached like interface] attached EV_MENU_SEPARATOR) on_draw_item (draw_item_struct: WEL_DRAW_ITEM_STRUCT) on_measure_item (measure_item_struct: WEL_MEASURE_ITEM_STRUCT) 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) release_capture release_heavy_capture remove_insert_label remove_insert_sep remove_pebble remove_pixmap 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_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_target_menu_mode set_text (a_text: READABLE_STRING_GENERAL) show_configurable_target_menu (a_x, a_y: INTEGER_32) show_cursor user_disable_sensitive user_enable_sensitive
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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