Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
note description: "Eiffel Vision list. Mswindows implementation." legal: "See notice at end of class." status: "See notice at end of class." date: "$Date: 2018-12-18 02:03:05 -0900 (Tue, 18 Dec 2018) $" revision: "$Revision: 102624 $" class interface EV_LIST_IMP create make -- Create and initialize Current. require -- from EV_ANY_I True ensure -- from EV_ANY_I is_initialized: get_state_flag (Is_initialized_flag) feature -- Initialization make -- Create and initialize Current. require -- from EV_ANY_I True ensure -- from EV_ANY_I is_initialized: get_state_flag (Is_initialized_flag) old_make (an_interface: attached like interface) -- Create Current with interface an_interface. -- Current will be in single selection mode. require -- from EV_ANY_I an_interface_not_void: an_interface /= Void ensure -- from EV_ANY_I interface_assigned: interface = an_interface base_make_called: base_make_called tooltip: STRING_32 -- Text of tooltip assigned to Current. -- (from EV_WEL_TOOLTIPABLE) require -- from EV_TOOLTIPABLE_I True feature -- Access accept_cursor: detachable EV_POINTER_STYLE -- Accept cursor set by user. -- To be displayed when the screen pointer is over a target that accepts -- `pebble` during pick and drop. -- (from EV_PICK_AND_DROPABLE_I) actual_drop_target_agent: detachable FUNCTION [INTEGER_32, INTEGER_32, detachable EV_ABSTRACT_PICK_AND_DROPABLE] -- Overrides default drop target on a certain position. -- If Void, will use the default drop target. -- Always void if Current is not a widget. -- (from EV_WIDGET_I) awaiting_movement: BOOLEAN -- Are we currently awaiting the movement threshold to -- be reached for as drag and drop or dockable move? -- (from EV_SHARED_TRANSPORT_IMP) frozen background_color: EV_COLOR -- Color displayed behind foreground features. -- (from EV_COLORIZABLE_I) capture_enabled: BOOLEAN -- Is the mouse currently captured? -- See constants Capture_xxxx at the end of the class. -- (from EV_PICK_AND_DROPABLE_IMP) Color_3ddkshadow: INTEGER_32 = 21 -- Dark shadow for three-dimensional display elements. -- -- Declared in Windows as COLOR_3DDKSHADOW -- (from WEL_COLOR_CONSTANTS) Color_3dface: INTEGER_32 = 15 -- Face color for three-dimensional display elements and -- for dialog box backgrounds. -- -- Declared in Windows as COLOR_3DFACE -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_btnface`. -- (from WEL_COLOR_CONSTANTS) Color_3dhighlight: INTEGER_32 = 20 -- Highlight color for three-dimensional display elements -- (for edges facing the light source.) -- -- Declared in Windows as COLOR_3DHILIGHT -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_3dhilight`, `color_btnhilight` and `color_btnhighlight`. -- (from WEL_COLOR_CONSTANTS) Color_3dhilight: INTEGER_32 = 20 -- Highlight color for three-dimensional display elements -- (for edges facing the light source.) -- -- Declared in Windows as COLOR_3DHILIGHT -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_3dhighlight`, `color_btnhilight` and `color_btnhighlight`. -- (from WEL_COLOR_CONSTANTS) Color_3dlight: INTEGER_32 = 22 -- Light color for three-dimensional display elements -- (for edges facing the light source.) -- -- Declared in Windows as COLOR_3DLIGHT -- (from WEL_COLOR_CONSTANTS) Color_3dshadow: INTEGER_32 = 16 -- Shadow color for three-dimensional display elements -- (for edges facing away from the light source). -- -- Declared in Windows as COLOR_3DSHADOW -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_btnshadow`. -- (from WEL_COLOR_CONSTANTS) Color_activeborder: INTEGER_32 = 10 -- Active window border. -- -- Declared in Windows as COLOR_ACTIVEBORDER -- (from WEL_COLOR_CONSTANTS) Color_activecaption: INTEGER_32 = 2 -- Active window title bar. -- -- Windows 98/Me, Windows 2000 or later: --   Specifies the left side color in the color gradient of an active --   window's title bar if the gradient effect is enabled. -- -- Declared in Windows as COLOR_ACTIVECAPTION -- (from WEL_COLOR_CONSTANTS) Color_appworkspace: INTEGER_32 = 12 -- Background color of multiple document interface (MDI) applications. -- -- Declared in Windows as COLOR_APPWORKSPACE -- (from WEL_COLOR_CONSTANTS) Color_background: INTEGER_32 = 1 -- Desktop. -- -- Declared in Windows as COLOR_BACKGROUND -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_desktop`. -- (from WEL_COLOR_CONSTANTS) Color_btnface: INTEGER_32 = 15 -- Face color for three-dimensional display elements and -- for dialog box backgrounds. -- -- Declared in Windows as COLOR_3DFACE -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_3dface`. -- (from WEL_COLOR_CONSTANTS) Color_btnhighlight: INTEGER_32 = 20 -- Highlight color for three-dimensional display elements -- (for edges facing the light source.) -- -- Declared in Windows as COLOR_3DHILIGHT -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_3dhilight`, `color_3dhighlight` and `color_btnhilight`. -- (from WEL_COLOR_CONSTANTS) Color_btnhilight: INTEGER_32 = 20 -- Highlight color for three-dimensional display elements -- (for edges facing the light source.) -- -- Declared in Windows as COLOR_3DHILIGHT -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_3dhilight`, `color_3dhighlight` and `color_btnhighlight`. -- (from WEL_COLOR_CONSTANTS) Color_btnshadow: INTEGER_32 = 16 -- Shadow color for three-dimensional display elements -- (for edges facing away from the light source). -- -- Declared in Windows as COLOR_3DSHADOW -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_3dshadow`. -- (from WEL_COLOR_CONSTANTS) Color_btntext: INTEGER_32 = 18 -- Text on push buttons. -- -- Declared in Windows as COLOR_BTNTEXT -- (from WEL_COLOR_CONSTANTS) Color_captiontext: INTEGER_32 = 9 -- Text in caption, size box, and scroll bar arrow box. -- -- Declared in Windows as COLOR_CAPTIONTEXT -- (from WEL_COLOR_CONSTANTS) Color_desktop: INTEGER_32 = 1 -- Desktop. -- -- Declared in Windows as COLOR_BACKGROUND -- Was declared in {WEL_COLOR_CONSTANTS} as synonym of `color_background`. -- (from WEL_COLOR_CONSTANTS) Color_gradientactivecaption: INTEGER_32 = 27 -- Windows 98/Me, Windows 2000 or later: --   Right side color in the color gradient of an active window's --   title bar. COLOR_ACTIVECAPTION specifies the left side color. --   Use SPI_GETGRADIENTCAPTIONS with the SystemParametersInfo --   function to determine whether the gradient effect is enabled. -- -- Declared in Windows as COLOR_GRADIENTACTIVECAPTION -- (from WEL_COLOR_CONSTANTS) Color_gradientinactivecaption: INTEGER_32 = 28 -- Windows 98/Me, Windows 2000 or later: --   Right side color in the color gradient of an inactive window's --   title bar. COLOR_INACTIVECAPTION specifies the left side color. -- -- Declared in Windows as COLOR_GRADIENTINACTIVECAPTION -- (from WEL_COLOR_CONSTANTS) Color_graytext: INTEGER_32 = 17 -- Grayed (disabled) text. This color is set to 0 if the current -- display driver does not support a solid gray color. -- -- Declared in Windows as COLOR_GRAYTEXT -- (from WEL_COLOR_CONSTANTS) Color_highlight: INTEGER_32 = 13 -- Item(s) selected in a control. -- -- Declared in Windows as COLOR_HIGHLIGHT -- (from WEL_COLOR_CONSTANTS) Color_highlighttext: INTEGER_32 = 14 -- Text of item(s) selected in a control. -- -- Declared in Windows as COLOR_HIGHLIGHTTEXT -- (from WEL_COLOR_CONSTANTS) Color_hotlight: INTEGER_32 = 26 -- Windows 98/Me, Windows 2000 or later: --   Color for a hot-tracked item. Single clicking a hot-tracked --   item executes the item. -- -- Declared in Windows as COLOR_HOTLIGHT -- (from WEL_COLOR_CONSTANTS) Color_inactiveborder: INTEGER_32 = 11 -- Inactive window border. -- -- Declared in Windows as COLOR_INACTIVEBORDER -- (from WEL_COLOR_CONSTANTS) Color_inactivecaption: INTEGER_32 = 3 -- Inactive window caption. -- -- Windows 98/Me, Windows 2000 or later: --   Specifies the left side color in the color gradient of an inactive --   window's title bar if the gradient effect is enabled. -- -- Declared in Windows as COLOR_INACTIVECAPTION -- (from WEL_COLOR_CONSTANTS) Color_inactivecaptiontext: INTEGER_32 = 19 -- Color of text in an inactive caption. -- -- Declared in Windows as COLOR_INACTIVECAPTIONTEXT -- (from WEL_COLOR_CONSTANTS) Color_infobk: INTEGER_32 = 24 -- Background color for tooltip controls. -- -- Declared in Windows as COLOR_INFOBK -- (from WEL_COLOR_CONSTANTS) Color_infotext: INTEGER_32 = 23 -- Text color for tooltip controls. -- -- Declared in Windows as COLOR_INFOTEXT -- (from WEL_COLOR_CONSTANTS) Color_menu: INTEGER_32 = 4 -- Menu background. -- -- Declared in Windows as COLOR_MENU -- (from WEL_COLOR_CONSTANTS) Color_menubar: INTEGER_32 = 30 -- Windows XP: --   The background color for the menu bar when menus appear as --   flat menus (see SystemParametersInfo). However, `color_menu` --   continues to specify the background color of the menu popup. -- -- Declared in Windows as COLOR_MENUBAR -- (from WEL_COLOR_CONSTANTS) Color_menuhilight: INTEGER_32 = 29 -- Windows XP: --   The color used to highlight menu items when the menu appears --   as a flat menu (see SystemParametersInfo). The highlighted --   menu item is outlined with COLOR_HIGHLIGHT. -- -- Declared in Windows as COLOR_MENUHILIGHT -- (from WEL_COLOR_CONSTANTS) Color_menutext: INTEGER_32 = 7 -- Text in menus. -- -- Declared in Windows as COLOR_MENUTEXT -- (from WEL_COLOR_CONSTANTS) Color_scrollbar: INTEGER_32 = 0 -- Scroll bar gray area. -- -- Declared in Windows as COLOR_SCROLLBAR -- (from WEL_COLOR_CONSTANTS) Color_window: INTEGER_32 = 5 -- Window background. -- -- Declared in Windows as COLOR_WINDOW -- (from WEL_COLOR_CONSTANTS) Color_windowframe: INTEGER_32 = 6 -- Window frame. -- -- Declared in Windows as COLOR_WINDOWFRAME -- (from WEL_COLOR_CONSTANTS) Color_windowtext: INTEGER_32 = 8 -- Text in windows. -- -- Declared in Windows as COLOR_WINDOWTEXT -- (from WEL_COLOR_CONSTANTS) commands: detachable WEL_COMMAND_MANAGER -- Command manager associated to the current window. -- (from WEL_WINDOW) Complex_regision: INTEGER_32 = 3 -- Region is more than one rectangle. -- (from WEL_RGN_CONSTANTS) configurable_target_menu_handler: detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY] -- (from EV_PICK_AND_DROPABLE_I) cursor: EV_DYNAMIC_LIST_CURSOR [EV_LIST_ITEM] -- Current cursor position. -- (from EV_DYNAMIC_LIST_I) ensure -- from EV_DYNAMIC_LIST_I not_void: Result /= Void Cursor_on_widget: CELL [detachable EV_WIDGET_IMP] -- This cell contains the widget_imp that currently -- has the pointer of the mouse. As it is a once -- feature, it is a shared data. -- it is used for the mouse_enter and mouse_leave -- events. -- (from EV_WIDGET_IMP) require -- from EV_PICK_AND_DROPABLE_IMP True ensure then -- from EV_WIDGET_IMP result_exists: Result /= Void default_key_processing_handler: detachable PREDICATE [EV_KEY] -- Agent used to determine whether the default key processing should occur for Current. -- If agent returns True then default key processing continues as normal, False prevents -- default key processing from occurring. -- (from EV_WIDGET_I) Default_parent: EV_INTERNAL_SILLY_WINDOW_IMP -- A default parent for creation of Current. -- (from EV_WIDGET_IMP) ensure -- from EV_WIDGET_IMP valid_parent: Result /= Void default_processing: BOOLEAN -- (from WEL_RETURN_VALUE) deny_cursor: detachable EV_POINTER_STYLE -- Deny cursor set by user. -- To be displayed when the screen pointer is not over a valid target. -- (from EV_PICK_AND_DROPABLE_I) destroy_imagelist (an_imagelist: EV_IMAGE_LIST_IMP) -- Destroy an_imagelist if it not referened in another control. -- (from EV_SHARED_IMAGE_LIST_IMP) destroy_toolbar_default_imagelist (an_imagelist: EV_IMAGE_LIST_IMP) -- Destroy an_imagelist if it not referened in another control. -- (from EV_SHARED_IMAGE_LIST_IMP) destroy_toolbar_hot_imagelist (an_imagelist: EV_IMAGE_LIST_IMP) -- Destroy an_imagelist if it not referened in another control. -- (from EV_SHARED_IMAGE_LIST_IMP) Drag_and_drop_starting_movement: INTEGER_32 = 3 -- Pointer movement in pixels required to start a drag and drop. -- (from EV_SHARED_TRANSPORT_IMP) Error: INTEGER_32 = 0 -- No region was created. -- Was declared in {WEL_RGN_CONSTANTS} as synonym of `rgn_error`. -- (from WEL_RGN_CONSTANTS) ev_set_minimum_height (value: INTEGER_32; a_is_size_forced: BOOLEAN) -- Make value the new `minimum_height` of Current. -- Should check if the user didn't set the minimum width -- before setting a new value. -- (from EV_SIZEABLE_PRIMITIVE_IMP) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed ev_set_minimum_size (mw, mh: INTEGER_32; a_is_size_forced: BOOLEAN) -- Make mw the new minimum_width and mh the new -- minimum_height of Current. -- Should check if the user didn't set the minimum width -- before setting a new value. -- (from EV_SIZEABLE_PRIMITIVE_IMP) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed ev_set_minimum_width (value: INTEGER_32; a_is_size_forced: BOOLEAN) -- Make value the new `minimum_width` of Current. -- Should check if the user didn't set the minimum width -- before setting a new value. -- (from EV_SIZEABLE_PRIMITIVE_IMP) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed Focus_on_widget: CELL [detachable EV_WIDGET_IMP] -- Widget that has currently the focus. -- (from EV_WIDGET_IMP) wel_font: WEL_FONT -- Font with which the control is drawing its text. -- (from WEL_CONTROL) require -- from WEL_CONTROL exists: exists ensure -- from WEL_CONTROL result_not_void: Result /= Void frozen foreground_color: EV_COLOR -- Color of foreground features like text. -- (from EV_COLORIZABLE_I) foreground_color_internal: detachable EV_COLOR -- Color used for the foreground of Current. -- (from EV_WIDGET_IMP) require -- from EV_COLORIZABLE_I True generating_type: TYPE [detachable EV_LIST_IMP] -- Type of current object -- (type of which it is a direct instance) -- (from ANY) ensure -- from ANY generating_type_not_void: Result /= Void generator: STRING_8 -- Name of current object's generating class -- (base class of the type of which it is a direct instance) -- (from ANY) ensure -- from ANY generator_not_void: Result /= Void generator_not_empty: not Result.is_empty get_imagelist_with_size (a_width: INTEGER_32; a_height: INTEGER_32): EV_IMAGE_LIST_IMP -- Retrieve an imagelist for trees and lists with size equal to a_widthxa_height. -- Call `destroy_imagelist` when the result of this function is no more needed. -- (from EV_SHARED_IMAGE_LIST_IMP) get_toolbar_default_imagelist_with_size (a_width: INTEGER_32; a_height: INTEGER_32): EV_IMAGE_LIST_IMP -- Retrieve a "default" imagelist for toolbar with size equal to a_widthxa_height. -- (from EV_SHARED_IMAGE_LIST_IMP) get_toolbar_hot_imagelist_with_size (a_width: INTEGER_32; a_height: INTEGER_32): EV_IMAGE_LIST_IMP -- Retrieve a "hot" imagelist for toolbar with size equal to a_widthxa_height. -- (from EV_SHARED_IMAGE_LIST_IMP) Gwl_exstyle: INTEGER_32 = -20 -- (from WEL_GWL_CONSTANTS) Gwl_style: INTEGER_32 = -16 -- (from WEL_GWL_CONSTANTS) has_return_value: BOOLEAN -- Should the window procedure return a value? -- (from WEL_RETURN_VALUE) height: INTEGER_32 -- Height of Current. -- (from EV_WIDGET_IMP) require -- from EV_POSITIONED_I True require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed help_context: detachable FUNCTION [EV_HELP_CONTEXT] -- Agent that evaluates to help context sent to help engine when help is requested -- (from EV_HELP_CONTEXTABLE_I) ensure -- from EV_HELP_CONTEXTABLE_I current_if_exists: internal_help_context /= Void implies Result = internal_help_context frozen hwnd_bottom: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_broadcast: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_message: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_notopmost: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_top: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_topmost: POINTER -- (from WEL_HWND_CONSTANTS) i_th (i: INTEGER_32): like item -- Item at i-th position. -- (from EV_DYNAMIC_LIST_IMP) require -- from EV_DYNAMIC_LIST_I i_within_bounds: i > 0 and then i <= count ensure -- from EV_DYNAMIC_LIST_I not_void: Result /= Void id: INTEGER_32 -- Control id -- (from WEL_CONTROL) Idabort: INTEGER_32 = 3 -- Abort button was selected. -- (from WEL_ID_CONSTANTS) Idcancel: INTEGER_32 = 2 -- Cancel button was selected. -- (from WEL_ID_CONSTANTS) Idignore: INTEGER_32 = 5 -- Ignore button was selected. -- (from WEL_ID_CONSTANTS) Idno: INTEGER_32 = 7 -- No button was selected. -- (from WEL_ID_CONSTANTS) Idok: INTEGER_32 = 1 -- OK button was selected. -- (from WEL_ID_CONSTANTS) Idretry: INTEGER_32 = 4 -- Retry button was selected. -- (from WEL_ID_CONSTANTS) Idyes: INTEGER_32 = 6 -- Yes button was selected. -- (from WEL_ID_CONSTANTS) Ilc_color: INTEGER_32 = 0 -- Use the default behavior if none of the other -- ILC_COLOR* flags is specified. Typically, the -- Default is Ilc_color4, but for older -- display drivers, the default is Ilc_colorddb. -- -- Declared in Windows as ILC_COLOR -- (from WEL_ILC_CONSTANTS) Ilc_color16: INTEGER_32 = 16 -- Use a 16-bit (32/64k-color) DIB section. -- -- Declared in Windows as ILC_COLOR16 -- (from WEL_ILC_CONSTANTS) Ilc_color24: INTEGER_32 = 24 -- Use a 24-bit DIB section. -- -- Declared in Windows as ILC_COLOR24 -- (from WEL_ILC_CONSTANTS) Ilc_color32: INTEGER_32 = 32 -- Use a 32-bit DIB section. -- -- Declared in Windows as ILC_COLOR32 -- (from WEL_ILC_CONSTANTS) Ilc_color4: INTEGER_32 = 4 -- Use a 4-bit (16-color) device-independent bitmap (DIB) -- section as the bitmap for the image list. -- -- Declared in Windows as ILC_COLOR4 -- (from WEL_ILC_CONSTANTS) Ilc_color8: INTEGER_32 = 8 -- Use an 8-bit DIB section. The colors used for the color -- table are the same colors as the halftone palette. -- -- Declared in Windows as ILC_COLOR8 -- (from WEL_ILC_CONSTANTS) Ilc_colorddb: INTEGER_32 = 254 -- Use a device-dependent bitmap. -- -- Declared in Windows as ILC_COLORDDB -- (from WEL_ILC_CONSTANTS) Ilc_mask: INTEGER_32 = 1 -- Use a mask. The image list contains two -- bitmaps, one of which is a monochrome bitmap -- used as a mask. If this value is not included, -- the image list contains only one bitmap. -- -- Declared in Windows as ILC_MASK -- (from WEL_ILC_CONSTANTS) index: INTEGER_32 -- Index of current position -- (from EV_DYNAMIC_LIST_I) index_of (v: detachable like item; i: INTEGER_32): INTEGER_32 -- Index of i_th item v, if present. -- As dynamic list descendants are all sets, -- Result will be zero for all values of i -- that are not equal to one -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I positive_occurrences: i > 0 internal_pointer_style: EV_POINTER_STYLE -- Cursor displayed when screen pointer is over current widget, -- as seen from interface. -- (from EV_WIDGET_I) is_dock_executing: BOOLEAN -- Is Current in the process of a dockable transport? -- (from EV_DOCKABLE_SOURCE_I) is_dockable: BOOLEAN -- Is Current dockable? -- (from EV_DOCKABLE_SOURCE_I) is_external_docking_enabled: BOOLEAN -- Is Current able to be docked into an EV_DOCKABLE_DIALOG -- When there is no valid EV_DRAGABLE_TARGET upon completion -- of the transport? -- (from EV_DOCKABLE_SOURCE_I) is_external_docking_relative: BOOLEAN -- Will dockable dialog displayed when Current is docked externally -- be displayed relative to parent window of Current? -- Otherwise displayed as a standard window. -- (from EV_DOCKABLE_SOURCE_I) item: EV_LIST_ITEM -- Current item -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I readable: index > 0 and then index <= count ensure -- from EV_DYNAMIC_LIST_I not_void: Result /= Void wel_item: POINTER -- Generic Windows handle or structure pointer. -- Can be a HWND, HICON, RECT *, WNDCLASS *, etc... -- (from WEL_ANY) item_by_data (data: ANY): detachable like item -- First item with data. -- (from EV_ITEM_LIST_I) require -- from EV_ITEM_LIST_I data_not_void: data /= Void key_code_from_key_string (key_string: READABLE_STRING_GENERAL): INTEGER_32 -- Key code value from key_string -- (from EV_KEY_CONSTANTS) require -- from EV_KEY_CONSTANTS key_string_not_void: key_string /= Void Key_strings: ARRAY [STRING_32] -- String representations of all key codes. -- (from EV_KEY_CONSTANTS) Mb_abortretryignore: INTEGER_32 = 2 -- (from WEL_MB_CONSTANTS) Mb_applmodal: INTEGER_32 = 0 -- (from WEL_MB_CONSTANTS) Mb_default_desktop_only: INTEGER_32 = 131072 -- (from WEL_MB_CONSTANTS) Mb_defbutton1: INTEGER_32 = 0 -- (from WEL_MB_CONSTANTS) Mb_defbutton2: INTEGER_32 = 256 -- (from WEL_MB_CONSTANTS) Mb_defbutton3: INTEGER_32 = 512 -- (from WEL_MB_CONSTANTS) Mb_defmask: INTEGER_32 = 3840 -- (from WEL_MB_CONSTANTS) Mb_help: INTEGER_32 = 16384 -- (from WEL_MB_CONSTANTS) Mb_iconasterisk: INTEGER_32 = 64 -- (from WEL_MB_CONSTANTS) Mb_iconerror: INTEGER_32 = 16 -- Same as `mb_iconhand`. -- (from WEL_MB_CONSTANTS) Mb_iconexclamation: INTEGER_32 = 48 -- (from WEL_MB_CONSTANTS) Mb_iconhand: INTEGER_32 = 16 -- (from WEL_MB_CONSTANTS) Mb_iconinformation: INTEGER_32 = 64 -- Same as `mb_iconasterisk`. -- (from WEL_MB_CONSTANTS) Mb_iconmask: INTEGER_32 = 240 -- (from WEL_MB_CONSTANTS) Mb_iconquestion: INTEGER_32 = 32 -- (from WEL_MB_CONSTANTS) Mb_iconstop: INTEGER_32 = 16 -- Same as `mb_iconhand`. -- (from WEL_MB_CONSTANTS) Mb_iconwarning: INTEGER_32 = 48 -- Same as `mb_iconexclamation`. -- (from WEL_MB_CONSTANTS) Mb_nofocus: INTEGER_32 = 32768 -- (from WEL_MB_CONSTANTS) Mb_ok: INTEGER_32 = 0 -- (from WEL_MB_CONSTANTS) Mb_okcancel: INTEGER_32 = 1 -- (from WEL_MB_CONSTANTS) Mb_retrycancel: INTEGER_32 = 5 -- (from WEL_MB_CONSTANTS) Mb_right: INTEGER_32 = 524288 -- (from WEL_MB_CONSTANTS) Mb_rtlreading: INTEGER_32 = 1048576 -- (from WEL_MB_CONSTANTS) Mb_setforeground: INTEGER_32 = 65536 -- (from WEL_MB_CONSTANTS) Mb_systemmodal: INTEGER_32 = 4096 -- (from WEL_MB_CONSTANTS) Mb_taskmodal: INTEGER_32 = 8192 -- (from WEL_MB_CONSTANTS) Mb_topmost: INTEGER_32 = 262144 -- (from WEL_MB_CONSTANTS) Mb_typemask: INTEGER_32 = 15 -- (from WEL_MB_CONSTANTS) Mb_usericon: INTEGER_32 = 128 -- (from WEL_MB_CONSTANTS) Mb_yesno: INTEGER_32 = 4 -- (from WEL_MB_CONSTANTS) Mb_yesnocancel: INTEGER_32 = 3 -- (from WEL_MB_CONSTANTS) message_return_value: POINTER -- Return value of the window procedure. -- (from WEL_RETURN_VALUE) require -- from WEL_RETURN_VALUE has_return_value: has_return_value minimum_height: INTEGER_32 -- Lower bound on `height` in pixels. -- (from EV_SIZEABLE_IMP) require -- from EV_POSITIONED_I True minimum_width: INTEGER_32 -- Lower bound on `width` in pixels. -- (from EV_SIZEABLE_IMP) require -- from EV_POSITIONED_I True multiple_selection_enabled: BOOLEAN -- Can more than one item be selected? not_external_docking_enabled: BOOLEAN -- Attribute used for is_externally_dockable. We must implement -- is_externally_dockable this way as we have no easy solution to -- assign True to is_externally_dockable. -- (from EV_DOCKABLE_SOURCE_I) not_is_external_docking_relative: BOOLEAN -- Will dockable dialog displayed when Current is docked externally -- be displayed relative to parent window of Current? -- Otherwise displayed as a standard window. -- Internal reversed value of `is_external_docking_relative` as we cannot -- easily initialize a BOOLE to True in this case. -- (from EV_DOCKABLE_SOURCE_I) Null_regiion: INTEGER_32 = 1 -- Region is empty. -- (from WEL_RGN_CONSTANTS) off: BOOLEAN -- Is there no current item? -- (from EV_DYNAMIC_LIST_I) original_parent_position: INTEGER_32 -- Original position in parent. Required -- to restore widget later. -- (from EV_DOCKABLE_SOURCE_I) original_pressure: REAL_64 -- Hold the values passed to start transport so when a transport -- actually starts, with real_start_transport,these can be passed -- as arguments. -- (from EV_SHARED_TRANSPORT_IMP) original_x: INTEGER_32 -- (from EV_SHARED_TRANSPORT_IMP) original_x_tilt: REAL_64 -- Hold the values passed to start transport so when a transport -- actually starts, with real_start_transport,these can be passed -- as arguments. -- (from EV_SHARED_TRANSPORT_IMP) original_y: INTEGER_32 -- (from EV_SHARED_TRANSPORT_IMP) original_y_tilt: REAL_64 -- Hold the values passed to start transport so when a transport -- actually starts, with real_start_transport,these can be passed -- as arguments. -- (from EV_SHARED_TRANSPORT_IMP) parent: detachable EV_CONTAINER -- Parent of Current -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_I True wel_parent: detachable WEL_WINDOW -- Parent window -- (from WEL_WINDOW) pebble: detachable ANY -- Data to be transported by pick and drop mechanism. -- (from EV_PICK_AND_DROPABLE_I) pebble_function: detachable FUNCTION [detachable ANY] -- Returns data to be transported by pick and drop mechanism. -- (from EV_PICK_AND_DROPABLE_I) pebble_positioning_enabled: BOOLEAN -- If True then pick and drop start coordinates are -- `pebble_x_position`, `pebble_y_position`. -- If False then pick and drop start coordinates are -- the pointer coordinates. -- (from EV_PICK_AND_DROPABLE_I) pebble_x_position: INTEGER_32 -- Initial x position for pick and drop relative to Current. -- (from EV_PICK_AND_DROPABLE_I) pebble_y_position: INTEGER_32 -- Initial y position for pick and drop relative to Current. -- (from EV_PICK_AND_DROPABLE_I) pixmaps_height: INTEGER_32 -- Height of displayed pixmaps in Current. -- (from EV_ITEM_PIXMAP_SCALER_I) pixmaps_width: INTEGER_32 -- Width of displayed pixmaps in Current. -- (from EV_ITEM_PIXMAP_SCALER_I) pointer_position: EV_COORDINATE -- Position of the screen pointer relative to Current. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_I True ensure -- from EV_WIDGET_I result_not_void: Result /= Void pointer_style: detachable EV_POINTER_STYLE -- Pointer displayed when the pointing device is over Current. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_I True require -- from EV_DOCKABLE_SOURCE_IMP True real_source: detachable EV_DOCKABLE_SOURCE -- Result is EV_DOCKABLE_SOURCE which should be -- dragged when docking begins on Current. -- (from EV_DOCKABLE_SOURCE_I) real_target: detachable EV_DOCKABLE_TARGET -- Result is target used during a dockable transport if -- mouse pointer is above Current. -- (from EV_WIDGET_I) retrieve_item_by_data (data: detachable ANY; should_compare_objects: BOOLEAN): detachable EV_LIST_ITEM -- Result is first item in Current with data -- matching some_data. Compare objects if -- should_compare_objects otherwise compare references. -- (from EV_DYNAMIC_LIST_I) retrieve_items_by_data (data: ANY; should_compare_objects: BOOLEAN): ARRAYED_LIST [EV_LIST_ITEM] -- Result is all items in Current with data -- matching some_data. Compare objects if -- should_compare_objects otherwise compare references. -- (from EV_DYNAMIC_LIST_I) Rgn_and: INTEGER_32 = 1 -- Was declared in {WEL_RGN_CONSTANTS} as synonym of `rgn_min`. -- (from WEL_RGN_CONSTANTS) Rgn_copy: INTEGER_32 = 5 -- Was declared in {WEL_RGN_CONSTANTS} as synonym of `rgn_max`. -- (from WEL_RGN_CONSTANTS) Rgn_diff: INTEGER_32 = 4 -- (from WEL_RGN_CONSTANTS) Rgn_error: INTEGER_32 = 0 -- No region was created. -- Was declared in {WEL_RGN_CONSTANTS} as synonym of `error`. -- (from WEL_RGN_CONSTANTS) Rgn_max: INTEGER_32 = 5 -- Was declared in {WEL_RGN_CONSTANTS} as synonym of `rgn_copy`. -- (from WEL_RGN_CONSTANTS) Rgn_min: INTEGER_32 = 1 -- Was declared in {WEL_RGN_CONSTANTS} as synonym of `rgn_and`. -- (from WEL_RGN_CONSTANTS) Rgn_or: INTEGER_32 = 2 -- (from WEL_RGN_CONSTANTS) Rgn_xor: INTEGER_32 = 3 -- (from WEL_RGN_CONSTANTS) Sb_both: INTEGER_32 = 3 -- Declared in Windows as SB_BOTH -- (from WEL_SB_CONSTANTS) Sb_bottom: INTEGER_32 = 7 -- Declared in Windows as SB_BOTTOM -- (from WEL_SB_CONSTANTS) Sb_ctl: INTEGER_32 = 2 -- Declared in Windows as SB_CTL -- (from WEL_SB_CONSTANTS) Sb_endscroll: INTEGER_32 = 8 -- Declared in Windows as SB_ENDSCROLL -- (from WEL_SB_CONSTANTS) Sb_horz: INTEGER_32 = 0 -- Declared in Windows as SB_HORZ -- (from WEL_SB_CONSTANTS) Sb_left: INTEGER_32 = 6 -- Declared in Windows as SB_LEFT -- (from WEL_SB_CONSTANTS) Sb_linedown: INTEGER_32 = 1 -- Declared in Windows as SB_LINEDOWN -- (from WEL_SB_CONSTANTS) Sb_lineleft: INTEGER_32 = 0 -- Declared in Windows as SB_LINELEFT -- (from WEL_SB_CONSTANTS) Sb_lineright: INTEGER_32 = 1 -- Declared in Windows as SB_LINERIGHT -- (from WEL_SB_CONSTANTS) Sb_lineup: INTEGER_32 = 0 -- Declared in Windows as SB_LINEUP -- (from WEL_SB_CONSTANTS) Sb_pagedown: INTEGER_32 = 3 -- Declared in Windows as SB_PAGEDOWN -- (from WEL_SB_CONSTANTS) Sb_pageleft: INTEGER_32 = 2 -- Declared in Windows as SB_PAGELEFT -- (from WEL_SB_CONSTANTS) Sb_pageright: INTEGER_32 = 3 -- Declared in Windows as SB_PAGERIGHT -- (from WEL_SB_CONSTANTS) Sb_pageup: INTEGER_32 = 2 -- Declared in Windows as SB_PAGEUP -- (from WEL_SB_CONSTANTS) Sb_right: INTEGER_32 = 7 -- Declared in Windows as SB_RIGHT -- (from WEL_SB_CONSTANTS) Sb_thumbposition: INTEGER_32 = 4 -- Declared in Windows as SB_THUMBPOSITION -- (from WEL_SB_CONSTANTS) Sb_thumbtrack: INTEGER_32 = 5 -- Declared in Windows as SB_THUMBTRACK -- (from WEL_SB_CONSTANTS) Sb_top: INTEGER_32 = 6 -- Declared in Windows as SB_TOP -- (from WEL_SB_CONSTANTS) Sb_vert: INTEGER_32 = 1 -- Declared in Windows as SB_VERT -- (from WEL_SB_CONSTANTS) screen_x: INTEGER_32 -- Horizontal offset of Current relative to screen -- (from EV_WIDGET_IMP) require -- from EV_POSITIONED_I True screen_y: INTEGER_32 -- Vertical offset of Current relative to screen. -- (from EV_WIDGET_IMP) require -- from EV_POSITIONED_I True selected_item: detachable EV_LIST_ITEM -- Currently selected item. -- Topmost selected item if multiple items are selected. -- (For multiple selections see `selected_items`) -- -- Void if there is no selection selected_items: ARRAYED_LIST [EV_LIST_ITEM] -- Currently selected items. require -- from EV_LIST_I True ensure then valid_result: Result.is_equal (retrieve_selected_items) silly_window: WEL_SILLY_WINDOW -- Window that receives some private messages for WEL to work properly. -- (from WEL_RESIZING_SUPPORT) Simple_region: INTEGER_32 = 2 -- Region is a single rectangle. -- (from WEL_RGN_CONSTANTS) Sm_cmetrics: INTEGER_32 = 76 -- (from WEL_SM_CONSTANTS) Sm_cmonitors: INTEGER_32 = 80 -- (from WEL_SM_CONSTANTS) Sm_cxborder: INTEGER_32 = 5 -- (from WEL_SM_CONSTANTS) Sm_cxcursor: INTEGER_32 = 13 -- (from WEL_SM_CONSTANTS) Sm_cxdlgframe: INTEGER_32 = 7 -- (from WEL_SM_CONSTANTS) Sm_cxdoubleclk: INTEGER_32 = 36 -- (from WEL_SM_CONSTANTS) Sm_cxframe: INTEGER_32 = 32 -- (from WEL_SM_CONSTANTS) Sm_cxfullscreen: INTEGER_32 = 16 -- (from WEL_SM_CONSTANTS) Sm_cxhscroll: INTEGER_32 = 21 -- (from WEL_SM_CONSTANTS) Sm_cxhthumb: INTEGER_32 = 10 -- (from WEL_SM_CONSTANTS) Sm_cxicon: INTEGER_32 = 11 -- (from WEL_SM_CONSTANTS) Sm_cxiconspacing: INTEGER_32 = 38 -- (from WEL_SM_CONSTANTS) Sm_cxmaximized: INTEGER_32 = 61 -- (from WEL_SM_CONSTANTS) Sm_cxmenucheck: INTEGER_32 = 71 -- (from WEL_SM_CONSTANTS) Sm_cxmin: INTEGER_32 = 28 -- (from WEL_SM_CONSTANTS) Sm_cxmintrack: INTEGER_32 = 34 -- (from WEL_SM_CONSTANTS) Sm_cxscreen: INTEGER_32 = 0 -- (from WEL_SM_CONSTANTS) Sm_cxsize: INTEGER_32 = 30 -- (from WEL_SM_CONSTANTS) Sm_cxvirtualscreen: INTEGER_32 = 78 -- (from WEL_SM_CONSTANTS) Sm_cxvscroll: INTEGER_32 = 2 -- (from WEL_SM_CONSTANTS) Sm_cyborder: INTEGER_32 = 6 -- (from WEL_SM_CONSTANTS) Sm_cycaption: INTEGER_32 = 4 -- (from WEL_SM_CONSTANTS) Sm_cycursor: INTEGER_32 = 14 -- (from WEL_SM_CONSTANTS) Sm_cydlgframe: INTEGER_32 = 8 -- (from WEL_SM_CONSTANTS) Sm_cydoubleclk: INTEGER_32 = 37 -- (from WEL_SM_CONSTANTS) Sm_cyframe: INTEGER_32 = 33 -- (from WEL_SM_CONSTANTS) Sm_cyfullscreen: INTEGER_32 = 17 -- (from WEL_SM_CONSTANTS) Sm_cyhscroll: INTEGER_32 = 3 -- (from WEL_SM_CONSTANTS) Sm_cyicon: INTEGER_32 = 12 -- (from WEL_SM_CONSTANTS) Sm_cyiconspacing: INTEGER_32 = 39 -- (from WEL_SM_CONSTANTS) Sm_cykanjiwindow: INTEGER_32 = 18 -- (from WEL_SM_CONSTANTS) Sm_cymaximized: INTEGER_32 = 62 -- (from WEL_SM_CONSTANTS) Sm_cymenu: INTEGER_32 = 15 -- (from WEL_SM_CONSTANTS) Sm_cymenucheck: INTEGER_32 = 72 -- (from WEL_SM_CONSTANTS) Sm_cymin: INTEGER_32 = 29 -- (from WEL_SM_CONSTANTS) Sm_cymintrack: INTEGER_32 = 35 -- (from WEL_SM_CONSTANTS) Sm_cyscreen: INTEGER_32 = 1 -- (from WEL_SM_CONSTANTS) Sm_cysize: INTEGER_32 = 31 -- (from WEL_SM_CONSTANTS) Sm_cyvirtualscreen: INTEGER_32 = 79 -- (from WEL_SM_CONSTANTS) Sm_cyvscroll: INTEGER_32 = 20 -- (from WEL_SM_CONSTANTS) Sm_cyvthumb: INTEGER_32 = 9 -- (from WEL_SM_CONSTANTS) Sm_dbcsenabled: INTEGER_32 = 42 -- (from WEL_SM_CONSTANTS) Sm_debug: INTEGER_32 = 22 -- (from WEL_SM_CONSTANTS) Sm_immenabled: INTEGER_32 = 82 -- (from WEL_SM_CONSTANTS) Sm_menudropalignment: INTEGER_32 = 40 -- (from WEL_SM_CONSTANTS) Sm_mousepresent: INTEGER_32 = 19 -- (from WEL_SM_CONSTANTS) Sm_mousewheelpresent: INTEGER_32 = 75 -- (from WEL_SM_CONSTANTS) Sm_penwindows: INTEGER_32 = 41 -- (from WEL_SM_CONSTANTS) Sm_remotesession: INTEGER_32 = 4096 -- (from WEL_SM_CONSTANTS) Sm_reserved1: INTEGER_32 = 24 -- (from WEL_SM_CONSTANTS) Sm_reserved2: INTEGER_32 = 25 -- (from WEL_SM_CONSTANTS) Sm_reserved3: INTEGER_32 = 26 -- (from WEL_SM_CONSTANTS) Sm_reserved4: INTEGER_32 = 27 -- (from WEL_SM_CONSTANTS) Sm_swapbutton: INTEGER_32 = 23 -- (from WEL_SM_CONSTANTS) Sm_xvirtualscreen: INTEGER_32 = 76 -- (from WEL_SM_CONSTANTS) Sm_yvirtualscreen: INTEGER_32 = 77 -- (from WEL_SM_CONSTANTS) Sw_hide: INTEGER_32 = 0 -- Declared in Windows as SW_HIDE -- (from WEL_SW_CONSTANTS) Sw_minimize: INTEGER_32 = 6 -- Declared in Windows as SW_MINIMIZE -- (from WEL_SW_CONSTANTS) Sw_otherunzoom: INTEGER_32 = 4 -- Declared in Windows as SW_OTHERUNZOOM -- (from WEL_SW_CONSTANTS) Sw_otherzoom: INTEGER_32 = 2 -- Declared in Windows as SW_OTHERZOOM -- (from WEL_SW_CONSTANTS) Sw_parentclosing: INTEGER_32 = 1 -- Declared in Windows as SW_PARENTCLOSING -- (from WEL_SW_CONSTANTS) Sw_parentopening: INTEGER_32 = 3 -- Declared in Windows as SW_PARENTOPENING -- (from WEL_SW_CONSTANTS) Sw_restore: INTEGER_32 = 9 -- Declared in Windows as SW_RESTORE -- (from WEL_SW_CONSTANTS) Sw_show: INTEGER_32 = 5 -- Declared in Windows as SW_SHOW -- (from WEL_SW_CONSTANTS) Sw_showmaximized: INTEGER_32 = 3 -- Declared in Windows as SW_SHOWMAXIMIZED -- (from WEL_SW_CONSTANTS) Sw_showminimized: INTEGER_32 = 2 -- Declared in Windows as SW_SHOWMINIMIZED -- (from WEL_SW_CONSTANTS) Sw_showminnoactive: INTEGER_32 = 7 -- Declared in Windows as SW_SHOWMINNOACTIVE -- (from WEL_SW_CONSTANTS) Sw_showna: INTEGER_32 = 8 -- Declared in Windows as SW_SHOWNA -- (from WEL_SW_CONSTANTS) Sw_shownoactivate: INTEGER_32 = 4 -- Declared in Windows as SW_SHOWNOACTIVATE -- (from WEL_SW_CONSTANTS) Sw_shownormal: INTEGER_32 = 1 -- Declared in Windows as SW_SHOWNORMAL -- (from WEL_SW_CONSTANTS) Swp_asyncwindowpos: INTEGER_32 = 16384 -- If the calling thread and the thread that owns the window are attached -- to different input queues, the system posts the request to the thread-- -- that owns the window. This prevents the calling thread from blocking -- its execution while other threads process the request. -- (from WEL_SWP_CONSTANTS) Swp_defererase: INTEGER_32 = 8192 -- Prevents generation of the WM_SYNCPAINT message. -- (from WEL_SWP_CONSTANTS) Swp_drawframe: INTEGER_32 = 32 -- Same as `swp_framechanged`. -- (from WEL_SWP_CONSTANTS) Swp_framechanged: INTEGER_32 = 32 -- Frame changed: send WM_NCCALCSIZE. -- (from WEL_SWP_CONSTANTS) Swp_hidewindow: INTEGER_32 = 128 -- (from WEL_SWP_CONSTANTS) Swp_noactivate: INTEGER_32 = 16 -- (from WEL_SWP_CONSTANTS) Swp_nocopybits: INTEGER_32 = 256 -- (from WEL_SWP_CONSTANTS) Swp_nomove: INTEGER_32 = 2 -- (from WEL_SWP_CONSTANTS) Swp_noownerzorder: INTEGER_32 = 512 -- (from WEL_SWP_CONSTANTS) Swp_noredraw: INTEGER_32 = 8 -- (from WEL_SWP_CONSTANTS) Swp_noreposition: INTEGER_32 = 512 -- Same as Swp_noownerzborder. -- (from WEL_SWP_CONSTANTS) Swp_nosendchanging: INTEGER_32 = 1024 -- Don't send WM_WINDOWPOSCHANGING. -- (from WEL_SWP_CONSTANTS) Swp_nosize: INTEGER_32 = 1 -- (from WEL_SWP_CONSTANTS) Swp_nozorder: INTEGER_32 = 4 -- (from WEL_SWP_CONSTANTS) Swp_showwindow: INTEGER_32 = 64 -- (from WEL_SWP_CONSTANTS) top_level_window: detachable EV_WINDOW -- Top level window that contains Current. -- (from EV_WIDGET_IMP) top_level_window_imp: detachable EV_WINDOW_IMP -- Top level window that contains Current. -- (from EV_PRIMITIVE_IMP) transport_executing: BOOLEAN -- Is a pick and drop or drag and drop currently -- being executed? -- (from EV_PICK_AND_DROPABLE_IMP) Vk_0: INTEGER_32 = 48 -- (from WEL_VK_CONSTANTS) Vk_1: INTEGER_32 = 49 -- (from WEL_VK_CONSTANTS) Vk_2: INTEGER_32 = 50 -- (from WEL_VK_CONSTANTS) Vk_3: INTEGER_32 = 51 -- (from WEL_VK_CONSTANTS) Vk_4: INTEGER_32 = 52 -- (from WEL_VK_CONSTANTS) Vk_5: INTEGER_32 = 53 -- (from WEL_VK_CONSTANTS) Vk_6: INTEGER_32 = 54 -- (from WEL_VK_CONSTANTS) Vk_7: INTEGER_32 = 55 -- (from WEL_VK_CONSTANTS) Vk_8: INTEGER_32 = 56 -- (from WEL_VK_CONSTANTS) Vk_9: INTEGER_32 = 57 -- Vk_a thru Vk_z are the same as their ASCII equivalents: 'A' thru 'Z'. -- (from WEL_VK_CONSTANTS) Vk_a: INTEGER_32 = 65 -- (from WEL_VK_CONSTANTS) Vk_add: INTEGER_32 = 107 -- Declared in Windows as VK_ADD -- (from WEL_VK_CONSTANTS) Vk_alt: INTEGER_32 = 18 -- Declared in Windows as VK_MENU -- Was declared in {WEL_VK_CONSTANTS} as synonym of `vk_menu`. -- (from WEL_VK_CONSTANTS) Vk_apps: INTEGER_32 = 93 -- Declared in Windows as VK_APPS -- Vk_0 thru Vk_9 are the same as their ASCII equivalents: '0' thru '9'. -- (from WEL_VK_CONSTANTS) Vk_b: INTEGER_32 = 66 -- (from WEL_VK_CONSTANTS) Vk_back: INTEGER_32 = 8 -- Declared in Windows as VK_BACK -- (from WEL_VK_CONSTANTS) Vk_c: INTEGER_32 = 67 -- (from WEL_VK_CONSTANTS) Vk_cancel: INTEGER_32 = 3 -- Declared in Windows as VK_CANCEL -- (from WEL_VK_CONSTANTS) Vk_capital: INTEGER_32 = 20 -- Declared in Windows as VK_CAPITAL -- (from WEL_VK_CONSTANTS) Vk_clear: INTEGER_32 = 12 -- Declared in Windows as VK_CLEAR -- (from WEL_VK_CONSTANTS) Vk_control: INTEGER_32 = 17 -- Declared in Windows as VK_CONTROL -- (from WEL_VK_CONSTANTS) Vk_d: INTEGER_32 = 68 -- (from WEL_VK_CONSTANTS) Vk_decimal: INTEGER_32 = 110 -- Declared in Windows as VK_DECIMAL -- (from WEL_VK_CONSTANTS) Vk_delete: INTEGER_32 = 46 -- Declared in Windows as VK_DELETE -- (from WEL_VK_CONSTANTS) Vk_divide: INTEGER_32 = 111 -- Declared in Windows as VK_DIVIDE -- (from WEL_VK_CONSTANTS) Vk_down: INTEGER_32 = 40 -- Declared in Windows as VK_DOWN -- (from WEL_VK_CONSTANTS) Vk_e: INTEGER_32 = 69 -- (from WEL_VK_CONSTANTS) Vk_end: INTEGER_32 = 35 -- Declared in Windows as VK_END -- (from WEL_VK_CONSTANTS) Vk_escape: INTEGER_32 = 27 -- Declared in Windows as VK_ESCAPE -- (from WEL_VK_CONSTANTS) Vk_execute: INTEGER_32 = 43 -- Declared in Windows as VK_EXECUTE -- (from WEL_VK_CONSTANTS) Vk_f: INTEGER_32 = 70 -- (from WEL_VK_CONSTANTS) Vk_f1: INTEGER_32 = 112 -- Declared in Windows as VK_F1 -- (from WEL_VK_CONSTANTS) Vk_f10: INTEGER_32 = 121 -- Declared in Windows as VK_F10 -- (from WEL_VK_CONSTANTS) Vk_f11: INTEGER_32 = 122 -- Declared in Windows as VK_F11 -- (from WEL_VK_CONSTANTS) Vk_f12: INTEGER_32 = 123 -- Declared in Windows as VK_F12 -- (from WEL_VK_CONSTANTS) Vk_f13: INTEGER_32 = 124 -- Declared in Windows as VK_F13 -- (from WEL_VK_CONSTANTS) Vk_f14: INTEGER_32 = 125 -- Declared in Windows as VK_F14 -- (from WEL_VK_CONSTANTS) Vk_f15: INTEGER_32 = 126 -- Declared in Windows as VK_F15 -- (from WEL_VK_CONSTANTS) Vk_f16: INTEGER_32 = 127 -- Declared in Windows as VK_F16 -- (from WEL_VK_CONSTANTS) Vk_f17: INTEGER_32 = 128 -- Declared in Windows as VK_F17 -- (from WEL_VK_CONSTANTS) Vk_f18: INTEGER_32 = 129 -- Declared in Windows as VK_F18 -- (from WEL_VK_CONSTANTS) Vk_f19: INTEGER_32 = 130 -- Declared in Windows as VK_F19 -- (from WEL_VK_CONSTANTS) Vk_f2: INTEGER_32 = 113 -- Declared in Windows as VK_F2 -- (from WEL_VK_CONSTANTS) Vk_f20: INTEGER_32 = 131 -- Declared in Windows as VK_F20 -- (from WEL_VK_CONSTANTS) Vk_f21: INTEGER_32 = 132 -- Declared in Windows as VK_F21 -- (from WEL_VK_CONSTANTS) Vk_f22: INTEGER_32 = 133 -- Declared in Windows as VK_F22 -- (from WEL_VK_CONSTANTS) Vk_f23: INTEGER_32 = 134 -- Declared in Windows as VK_F23 -- (from WEL_VK_CONSTANTS) Vk_f24: INTEGER_32 = 135 -- Declared in Windows as VK_F24 -- (from WEL_VK_CONSTANTS) Vk_f3: INTEGER_32 = 114 -- Declared in Windows as VK_F3 -- (from WEL_VK_CONSTANTS) Vk_f4: INTEGER_32 = 115 -- Declared in Windows as VK_F4 -- (from WEL_VK_CONSTANTS) Vk_f5: INTEGER_32 = 116 -- Declared in Windows as VK_F5 -- (from WEL_VK_CONSTANTS) Vk_f6: INTEGER_32 = 117 -- Declared in Windows as VK_F6 -- (from WEL_VK_CONSTANTS) Vk_f7: INTEGER_32 = 118 -- Declared in Windows as VK_F7 -- (from WEL_VK_CONSTANTS) Vk_f8: INTEGER_32 = 119 -- Declared in Windows as VK_F8 -- (from WEL_VK_CONSTANTS) Vk_f9: INTEGER_32 = 120 -- Declared in Windows as VK_F9 -- (from WEL_VK_CONSTANTS) Vk_g: INTEGER_32 = 71 -- (from WEL_VK_CONSTANTS) Vk_h: INTEGER_32 = 72 -- (from WEL_VK_CONSTANTS) Vk_help: INTEGER_32 = 47 -- Declared in Windows as VK_HELP -- (from WEL_VK_CONSTANTS) Vk_home: INTEGER_32 = 36 -- Declared in Windows as VK_HOME -- (from WEL_VK_CONSTANTS) Vk_i: INTEGER_32 = 73 -- (from WEL_VK_CONSTANTS) Vk_insert: INTEGER_32 = 45 -- Declared in Windows as VK_INSERT -- (from WEL_VK_CONSTANTS) Vk_j: INTEGER_32 = 74 -- (from WEL_VK_CONSTANTS) Vk_k: INTEGER_32 = 75 -- (from WEL_VK_CONSTANTS) Vk_l: INTEGER_32 = 76 -- (from WEL_VK_CONSTANTS) Vk_lbutton: INTEGER_32 = 1 -- Declared in Windows as VK_LBUTTON -- (from WEL_VK_CONSTANTS) Vk_lcontrol: INTEGER_32 = 162 -- Declared in Windows as VK_LCONTROL -- (from WEL_VK_CONSTANTS) Vk_left: INTEGER_32 = 37 -- Declared in Windows as VK_LEFT -- (from WEL_VK_CONSTANTS) Vk_lmenu: INTEGER_32 = 164 -- Declared in Windows as VK_LMENU -- (from WEL_VK_CONSTANTS) Vk_lshift: INTEGER_32 = 160 -- Declared in Windows as VK_LSHIFT -- (from WEL_VK_CONSTANTS) Vk_m: INTEGER_32 = 77 -- (from WEL_VK_CONSTANTS) Vk_mbutton: INTEGER_32 = 4 -- Declared in Windows as VK_MBUTTON -- (from WEL_VK_CONSTANTS) Vk_menu: INTEGER_32 = 18 -- Declared in Windows as VK_MENU -- Was declared in {WEL_VK_CONSTANTS} as synonym of `vk_alt`. -- (from WEL_VK_CONSTANTS) Vk_multiply: INTEGER_32 = 106 -- Declared in Windows as VK_MULTIPLY -- (from WEL_VK_CONSTANTS) Vk_n: INTEGER_32 = 78 -- (from WEL_VK_CONSTANTS) Vk_next: INTEGER_32 = 34 -- Declared in Windows as VK_NEXT -- (from WEL_VK_CONSTANTS) Vk_numlock: INTEGER_32 = 144 -- Declared in Windows as VK_NUMLOCK -- (from WEL_VK_CONSTANTS) Vk_numpad0: INTEGER_32 = 96 -- Declared in Windows as VK_NUMPAD0 -- (from WEL_VK_CONSTANTS) Vk_numpad1: INTEGER_32 = 97 -- Declared in Windows as VK_NUMPAD1 -- (from WEL_VK_CONSTANTS) Vk_numpad2: INTEGER_32 = 98 -- Declared in Windows as VK_NUMPAD2 -- (from WEL_VK_CONSTANTS) Vk_numpad3: INTEGER_32 = 99 -- Declared in Windows as VK_NUMPAD3 -- (from WEL_VK_CONSTANTS) Vk_numpad4: INTEGER_32 = 100 -- Declared in Windows as VK_NUMPAD4 -- (from WEL_VK_CONSTANTS) Vk_numpad5: INTEGER_32 = 101 -- Declared in Windows as VK_NUMPAD5 -- (from WEL_VK_CONSTANTS) Vk_numpad6: INTEGER_32 = 102 -- Declared in Windows as VK_NUMPAD6 -- (from WEL_VK_CONSTANTS) Vk_numpad7: INTEGER_32 = 103 -- Declared in Windows as VK_NUMPAD7 -- (from WEL_VK_CONSTANTS) Vk_numpad8: INTEGER_32 = 104 -- Declared in Windows as VK_NUMPAD8 -- (from WEL_VK_CONSTANTS) Vk_numpad9: INTEGER_32 = 105 -- Declared in Windows as VK_NUMPAD9 -- (from WEL_VK_CONSTANTS) Vk_o: INTEGER_32 = 79 -- (from WEL_VK_CONSTANTS) Vk_p: INTEGER_32 = 80 -- (from WEL_VK_CONSTANTS) Vk_pause: INTEGER_32 = 19 -- Declared in Windows as VK_PAUSE -- (from WEL_VK_CONSTANTS) Vk_print: INTEGER_32 = 42 -- Declared in Windows as VK_PRINT -- (from WEL_VK_CONSTANTS) Vk_prior: INTEGER_32 = 33 -- Declared in Windows as VK_PRIOR -- (from WEL_VK_CONSTANTS) Vk_q: INTEGER_32 = 81 -- (from WEL_VK_CONSTANTS) Vk_r: INTEGER_32 = 82 -- (from WEL_VK_CONSTANTS) Vk_rbutton: INTEGER_32 = 2 -- Declared in Windows as VK_RBUTTON -- (from WEL_VK_CONSTANTS) Vk_rcontrol: INTEGER_32 = 163 -- Declared in Windows as VK_RCONTROL -- (from WEL_VK_CONSTANTS) Vk_return: INTEGER_32 = 13 -- Declared in Windows as VK_RETURN -- (from WEL_VK_CONSTANTS) Vk_right: INTEGER_32 = 39 -- Declared in Windows as VK_RIGHT -- (from WEL_VK_CONSTANTS) Vk_rmenu: INTEGER_32 = 165 -- Declared in Windows as VK_RMENU -- (from WEL_VK_CONSTANTS) Vk_rshift: INTEGER_32 = 161 -- Declared in Windows as VK_RSHIFT -- (from WEL_VK_CONSTANTS) Vk_s: INTEGER_32 = 83 -- (from WEL_VK_CONSTANTS) Vk_scroll: INTEGER_32 = 145 -- Declared in Windows as VK_SCROLL -- (from WEL_VK_CONSTANTS) Vk_select: INTEGER_32 = 41 -- Declared in Windows as VK_SELECT -- (from WEL_VK_CONSTANTS) Vk_separator: INTEGER_32 = 108 -- Declared in Windows as VK_SEPARATOR -- (from WEL_VK_CONSTANTS) Vk_shift: INTEGER_32 = 16 -- Declared in Windows as VK_SHIFT -- (from WEL_VK_CONSTANTS) Vk_snapshot: INTEGER_32 = 44 -- Declared in Windows as VK_SNAPSHOT -- (from WEL_VK_CONSTANTS) Vk_space: INTEGER_32 = 32 -- Declared in Windows as VK_SPACE -- (from WEL_VK_CONSTANTS) Vk_subtract: INTEGER_32 = 109 -- Declared in Windows as VK_SUBTRACT -- (from WEL_VK_CONSTANTS) Vk_t: INTEGER_32 = 84 -- (from WEL_VK_CONSTANTS) Vk_tab: INTEGER_32 = 9 -- Declared in Windows as VK_TAB -- (from WEL_VK_CONSTANTS) Vk_u: INTEGER_32 = 85 -- (from WEL_VK_CONSTANTS) Vk_up: INTEGER_32 = 38 -- Declared in Windows as VK_UP -- (from WEL_VK_CONSTANTS) Vk_v: INTEGER_32 = 86 -- (from WEL_VK_CONSTANTS) Vk_w: INTEGER_32 = 87 -- (from WEL_VK_CONSTANTS) Vk_x: INTEGER_32 = 88 -- (from WEL_VK_CONSTANTS) Vk_y: INTEGER_32 = 89 -- (from WEL_VK_CONSTANTS) Vk_z: INTEGER_32 = 90 -- (from WEL_VK_CONSTANTS) Wa_active: INTEGER_32 = 1 -- Window gains activation via alt-tab -- (from WEL_WA_CONSTANTS) Wa_clickactive: INTEGER_32 = 2 -- Window gains activation via mouse click -- (from WEL_WA_CONSTANTS) Wa_inactivate: INTEGER_32 = 0 -- Window loses activation -- (from WEL_WA_CONSTANTS) widget_imp_at_pointer_position: detachable EV_WIDGET_IMP -- Result is implementation of widget at current -- pointer position or Void if none. -- (from EV_SHARED_TRANSPORT_IMP) require -- from EV_DOCKABLE_SOURCE_I True width: INTEGER_32 -- Width of Current. -- (from EV_WIDGET_IMP) require -- from EV_POSITIONED_I True require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed Wm_activate: INTEGER_32 = 6 -- Declared in Windows as WM_ACTIVATE -- (from WEL_WM_CONSTANTS) Wm_activateapp: INTEGER_32 = 28 -- Declared in Windows as WM_ACTIVATEAPP -- (from WEL_WM_CONSTANTS) Wm_afxfirst: INTEGER_32 = 864 -- Declared in Windows as WM_AFXFIRST -- (from WEL_WM_CONSTANTS) Wm_afxlast: INTEGER_32 = 895 -- Declared in Windows as WM_AFXLAST -- (from WEL_WM_CONSTANTS) Wm_app: INTEGER_32 = 32768 -- Declared in Windows as WM_APP -- (from WEL_WM_CONSTANTS) Wm_appcommand: INTEGER_32 = 793 -- Declared in Windows as WM_APPCOMMAND -- (from WEL_WM_CONSTANTS) Wm_askcbformatname: INTEGER_32 = 780 -- Declared in Windows as WM_ASKCBFORMATNAME -- (from WEL_WM_CONSTANTS) Wm_canceljournal: INTEGER_32 = 75 -- Declared in Windows as WM_CANCELJOURNAL -- (from WEL_WM_CONSTANTS) Wm_cancelmode: INTEGER_32 = 31 -- Declared in Windows as WM_CANCELMODE -- (from WEL_WM_CONSTANTS) Wm_capturechanged: INTEGER_32 = 533 -- Declared in Windows as WM_CAPTURECHANGED -- (from WEL_WM_CONSTANTS) Wm_changecbchain: INTEGER_32 = 781 -- Declared in Windows as WM_CHANGECBCHAIN -- (from WEL_WM_CONSTANTS) Wm_changeuistate: INTEGER_32 = 295 -- Declared in Windows as WM_CHANGEUISTATE -- (from WEL_WM_CONSTANTS) Wm_char: INTEGER_32 = 258 -- Declared in Windows as WM_CHAR -- (from WEL_WM_CONSTANTS) Wm_chartoitem: INTEGER_32 = 47 -- Declared in Windows as WM_CHARTOITEM -- (from WEL_WM_CONSTANTS) Wm_childactivate: INTEGER_32 = 34 -- Declared in Windows as WM_CHILDACTIVATE -- (from WEL_WM_CONSTANTS) Wm_clear: INTEGER_32 = 771 -- Declared in Windows as WM_CLEAR -- (from WEL_WM_CONSTANTS) Wm_close: INTEGER_32 = 16 -- Declared in Windows as WM_CLOSE -- (from WEL_WM_CONSTANTS) Wm_command: INTEGER_32 = 273 -- Declared in Windows as WM_COMMAND -- (from WEL_WM_CONSTANTS) Wm_commnotify: INTEGER_32 = 68 -- Declared in Windows as WM_COMMNOTIFY -- (from WEL_WM_CONSTANTS) Wm_compacting: INTEGER_32 = 65 -- Declared in Windows as WM_COMPACTING -- (from WEL_WM_CONSTANTS) Wm_compareitem: INTEGER_32 = 57 -- Declared in Windows as WM_COMPAREITEM -- (from WEL_WM_CONSTANTS) Wm_contextmenu: INTEGER_32 = 123 -- Declared in Windows as WM_CONTEXTMENU -- (from WEL_WM_CONSTANTS) Wm_copy: INTEGER_32 = 769 -- Declared in Windows as WM_COPY -- (from WEL_WM_CONSTANTS) Wm_copydata: INTEGER_32 = 74 -- Declared in Windows as WM_COPYDATA -- (from WEL_WM_CONSTANTS) Wm_create: INTEGER_32 = 1 -- Declared in Windows as WM_CREATE -- (from WEL_WM_CONSTANTS) Wm_ctlcolordialog: INTEGER_32 = 310 -- Declared in Windows as WM_CTLCOLORDIALOG -- (from WEL_WM_CONSTANTS) Wm_cut: INTEGER_32 = 768 -- Declared in Windows as WM_CUT -- (from WEL_WM_CONSTANTS) Wm_deadchar: INTEGER_32 = 259 -- Declared in Windows as WM_DEADCHAR -- (from WEL_WM_CONSTANTS) Wm_deleteitem: INTEGER_32 = 45 -- Declared in Windows as WM_DELETEITEM -- (from WEL_WM_CONSTANTS) Wm_destroy: INTEGER_32 = 2 -- Declared in Windows as WM_DESTROY -- (from WEL_WM_CONSTANTS) Wm_destroyclipboard: INTEGER_32 = 775 -- Declared in Windows as WM_DESTROYCLIPBOARD -- (from WEL_WM_CONSTANTS) Wm_devicechange: INTEGER_32 = 537 -- Declared in Windows as WM_DEVICECHANGE -- (from WEL_WM_CONSTANTS) Wm_devmodechange: INTEGER_32 = 27 -- Declared in Windows as WM_DEVMODECHANGE -- (from WEL_WM_CONSTANTS) Wm_displaychange: INTEGER_32 = 126 -- Declared in Windows as WM_DISPLAYCHANGE -- (from WEL_WM_CONSTANTS) Wm_dpichanged: INTEGER_32 = 736 -- Declared in Windows as WM_DPICHANGED -- (from WEL_WM_CONSTANTS) Wm_drawclipboard: INTEGER_32 = 776 -- Declared in Windows as WM_DRAWCLIPBOARD -- (from WEL_WM_CONSTANTS) Wm_drawitem: INTEGER_32 = 43 -- Declared in Windows as WM_DRAWITEM -- (from WEL_WM_CONSTANTS) Wm_dropfiles: INTEGER_32 = 563 -- Declared in Windows as WM_DROPFILES -- (from WEL_WM_CONSTANTS) Wm_enable: INTEGER_32 = 10 -- Declared in Windows as WM_ENABLE -- (from WEL_WM_CONSTANTS) Wm_endsession: INTEGER_32 = 22 -- Declared in Windows as WM_ENDSESSION -- (from WEL_WM_CONSTANTS) Wm_enteridle: INTEGER_32 = 289 -- Declared in Windows as WM_ENTERIDLE -- (from WEL_WM_CONSTANTS) Wm_entermenuloop: INTEGER_32 = 529 -- Declared in Windows as WM_ENTERMENULOOP -- (from WEL_WM_CONSTANTS) Wm_entersizemove: INTEGER_32 = 561 -- Declared in Windows as WM_ENTERSIZEMOVE -- (from WEL_WM_CONSTANTS) Wm_erasebkgnd: INTEGER_32 = 20 -- Declared in Windows as WM_ERASEBKGND -- (from WEL_WM_CONSTANTS) Wm_exitmenuloop: INTEGER_32 = 530 -- Declared in Windows as WM_EXITMENULOOP -- (from WEL_WM_CONSTANTS) Wm_exitsizemove: INTEGER_32 = 562 -- Declared in Windows as WM_EXITSIZEMOVE -- (from WEL_WM_CONSTANTS) Wm_fontchange: INTEGER_32 = 29 -- Declared in Windows as WM_FONTCHANGE -- (from WEL_WM_CONSTANTS) Wm_getdlgcode: INTEGER_32 = 135 -- Declared in Windows as WM_GETDLGCODE -- (from WEL_WM_CONSTANTS) Wm_getfont: INTEGER_32 = 49 -- Declared in Windows as WM_GETFONT -- (from WEL_WM_CONSTANTS) Wm_gethotkey: INTEGER_32 = 51 -- Declared in Windows as WM_GETHOTKEY -- (from WEL_WM_CONSTANTS) Wm_geticon: INTEGER_32 = 127 -- Declared in Windows as WM_GETICON -- (from WEL_WM_CONSTANTS) Wm_getminmaxinfo: INTEGER_32 = 36 -- Declared in Windows as WM_GETMINMAXINFO -- (from WEL_WM_CONSTANTS) Wm_getobject: INTEGER_32 = 61 -- Declared in Windows as WM_GETOBJECT -- (from WEL_WM_CONSTANTS) Wm_gettext: INTEGER_32 = 13 -- Declared in Windows as WM_GETTEXT -- (from WEL_WM_CONSTANTS) Wm_gettextlength: INTEGER_32 = 14 -- Declared in Windows as WM_GETTEXTLENGTH -- (from WEL_WM_CONSTANTS) Wm_handheldfirst: INTEGER_32 = 856 -- Declared in Windows as WM_HANDHELDFIRST -- (from WEL_WM_CONSTANTS) Wm_handheldlast: INTEGER_32 = 863 -- Declared in Windows as WM_HANDHELDLAST -- (from WEL_WM_CONSTANTS) Wm_help: INTEGER_32 = 83 -- Declared in Windows as WM_HELP -- (from WEL_WM_CONSTANTS) Wm_hotkey: INTEGER_32 = 786 -- Declared in Windows as WM_HOTKEY -- (from WEL_WM_CONSTANTS) Wm_hscroll: INTEGER_32 = 276 -- Declared in Windows as WM_HSCROLL -- (from WEL_WM_CONSTANTS) Wm_hscrollclipboard: INTEGER_32 = 782 -- Declared in Windows as WM_HSCROLLCLIPBOARD -- (from WEL_WM_CONSTANTS) Wm_iconerasebkgnd: INTEGER_32 = 39 -- Declared in Windows as WM_ICONERASEBKGND -- (from WEL_WM_CONSTANTS) Wm_ime_char: INTEGER_32 = 646 -- Declared in Windows as WM_IME_CHAR -- (from WEL_WM_CONSTANTS) Wm_ime_composition: INTEGER_32 = 271 -- Declared in Windows as WM_IME_COMPOSITION -- (from WEL_WM_CONSTANTS) Wm_ime_compositionfull: INTEGER_32 = 644 -- Declared in Windows as WM_IME_COMPOSITIONFULL -- (from WEL_WM_CONSTANTS) Wm_ime_control: INTEGER_32 = 643 -- Declared in Windows as WM_IME_CONTROL -- (from WEL_WM_CONSTANTS) Wm_ime_endcomposition: INTEGER_32 = 270 -- Declared in Windows as WM_IME_ENDCOMPOSITION -- (from WEL_WM_CONSTANTS) Wm_ime_keydown: INTEGER_32 = 656 -- Declared in Windows as WM_IME_KEYDOWN -- (from WEL_WM_CONSTANTS) wm_ime_keylast: INTEGER_32 -- Declared in Windows as WM_IME_KEYLAST -- (from WEL_WM_CONSTANTS) Wm_ime_keyup: INTEGER_32 = 657 -- Declared in Windows as WM_IME_KEYUP -- (from WEL_WM_CONSTANTS) Wm_ime_notify: INTEGER_32 = 642 -- Declared in Windows as WM_IME_NOTIFY -- (from WEL_WM_CONSTANTS) Wm_ime_request: INTEGER_32 = 648 -- Declared in Windows as WM_IME_REQUEST -- (from WEL_WM_CONSTANTS) Wm_ime_select: INTEGER_32 = 645 -- Declared in Windows as WM_IME_SELECT -- (from WEL_WM_CONSTANTS) Wm_ime_setcontext: INTEGER_32 = 641 -- Declared in Windows as WM_IME_SETCONTEXT -- (from WEL_WM_CONSTANTS) Wm_ime_startcomposition: INTEGER_32 = 269 -- Declared in Windows as WM_IME_STARTCOMPOSITION -- (from WEL_WM_CONSTANTS) Wm_initdialog: INTEGER_32 = 272 -- Declared in Windows as WM_INITDIALOG -- (from WEL_WM_CONSTANTS) Wm_initmenu: INTEGER_32 = 278 -- Declared in Windows as WM_INITMENU -- (from WEL_WM_CONSTANTS) Wm_initmenupopup: INTEGER_32 = 279 -- Declared in Windows as WM_INITMENUPOPUP -- (from WEL_WM_CONSTANTS) Wm_inputlangchange: INTEGER_32 = 81 -- Declared in Windows as WM_INPUTLANGCHANGE -- (from WEL_WM_CONSTANTS) Wm_inputlangchangerequest: INTEGER_32 = 80 -- Declared in Windows as WM_INPUTLANGCHANGEREQUEST -- (from WEL_WM_CONSTANTS) Wm_keydown: INTEGER_32 = 256 -- Declared in Windows as WM_KEYDOWN -- (from WEL_WM_CONSTANTS) Wm_keyfirst: INTEGER_32 = 256 -- Declared in Windows as WM_KEYFIRST -- (from WEL_WM_CONSTANTS) wm_keylast: INTEGER_32 -- Declared in Windows as WM_KEYLAST -- (from WEL_WM_CONSTANTS) Wm_keyup: INTEGER_32 = 257 -- Declared in Windows as WM_KEYUP -- (from WEL_WM_CONSTANTS) Wm_killfocus: INTEGER_32 = 8 -- Declared in Windows as WM_KILLFOCUS -- (from WEL_WM_CONSTANTS) Wm_lbuttondblclk: INTEGER_32 = 515 -- Declared in Windows as WM_LBUTTONDBLCLK -- (from WEL_WM_CONSTANTS) Wm_lbuttondown: INTEGER_32 = 513 -- Declared in Windows as WM_LBUTTONDOWN -- (from WEL_WM_CONSTANTS) Wm_lbuttonup: INTEGER_32 = 514 -- Declared in Windows as WM_LBUTTONUP -- (from WEL_WM_CONSTANTS) Wm_mbuttondblclk: INTEGER_32 = 521 -- Declared in Windows as WM_MBUTTONDBLCLK -- (from WEL_WM_CONSTANTS) Wm_mbuttondown: INTEGER_32 = 519 -- Declared in Windows as WM_MBUTTONDOWN -- (from WEL_WM_CONSTANTS) Wm_mbuttonup: INTEGER_32 = 520 -- Declared in Windows as WM_MBUTTONUP -- (from WEL_WM_CONSTANTS) Wm_mdiactivate: INTEGER_32 = 546 -- Declared in Windows as WM_MDIACTIVATE -- (from WEL_WM_CONSTANTS) Wm_mdicascade: INTEGER_32 = 551 -- Declared in Windows as WM_MDICASCADE -- (from WEL_WM_CONSTANTS) Wm_mdicreate: INTEGER_32 = 544 -- Declared in Windows as WM_MDICREATE -- (from WEL_WM_CONSTANTS) Wm_mdidestroy: INTEGER_32 = 545 -- Declared in Windows as WM_MDIDESTROY -- (from WEL_WM_CONSTANTS) Wm_mdigetactive: INTEGER_32 = 553 -- Declared in Windows as WM_MDIGETACTIVE -- (from WEL_WM_CONSTANTS) Wm_mdiiconarrange: INTEGER_32 = 552 -- Declared in Windows as WM_MDIICONARRANGE -- (from WEL_WM_CONSTANTS) Wm_mdimaximize: INTEGER_32 = 549 -- Declared in Windows as WM_MDIMAXIMIZE -- (from WEL_WM_CONSTANTS) Wm_mdinext: INTEGER_32 = 548 -- Declared in Windows as WM_MDINEXT -- (from WEL_WM_CONSTANTS) Wm_mdirefreshmenu: INTEGER_32 = 564 -- Declared in Windows as WM_MDIREFRESHMENU -- (from WEL_WM_CONSTANTS) Wm_mdirestore: INTEGER_32 = 547 -- Declared in Windows as WM_MDIRESTORE -- (from WEL_WM_CONSTANTS) Wm_mdisetmenu: INTEGER_32 = 560 -- Declared in Windows as WM_MDISETMENU -- (from WEL_WM_CONSTANTS) Wm_mditile: INTEGER_32 = 550 -- Declared in Windows as WM_MDITILE -- (from WEL_WM_CONSTANTS) Wm_measureitem: INTEGER_32 = 44 -- Declared in Windows as WM_MEASUREITEM -- (from WEL_WM_CONSTANTS) Wm_menuchar: INTEGER_32 = 288 -- Declared in Windows as WM_MENUCHAR -- (from WEL_WM_CONSTANTS) Wm_menucommand: INTEGER_32 = 294 -- Declared in Windows as WM_MENUCOMMAND -- (from WEL_WM_CONSTANTS) Wm_menudrag: INTEGER_32 = 291 -- Declared in Windows as WM_MENUDRAG -- (from WEL_WM_CONSTANTS) Wm_menugetobject: INTEGER_32 = 292 -- Declared in Windows as WM_MENUGETOBJECT -- (from WEL_WM_CONSTANTS) Wm_menurbuttonup: INTEGER_32 = 290 -- Declared in Windows as WM_MENURBUTTONUP -- (from WEL_WM_CONSTANTS) Wm_menuselect: INTEGER_32 = 287 -- Declared in Windows as WM_MENUSELECT -- (from WEL_WM_CONSTANTS) Wm_mouseactivate: INTEGER_32 = 33 -- Declared in Windows as WM_MOUSEACTIVATE -- (from WEL_WM_CONSTANTS) Wm_mousefirst: INTEGER_32 = 512 -- Declared in Windows as WM_MOUSEFIRST -- (from WEL_WM_CONSTANTS) Wm_mousehover: INTEGER_32 = 673 -- Require Windows98, Windows NT 4.0 or later -- Declared in Windows as WM_MOUSEHOVER -- (from WEL_WM_CONSTANTS) wm_mouselast: INTEGER_32 -- Declared in Windows as WM_MOUSELAST -- (from WEL_WM_CONSTANTS) Wm_mouseleave: INTEGER_32 = 675 -- Require Windows98, Windows NT 4.0 or later -- Declared in Windows as WM_MOUSELEAVE -- (from WEL_WM_CONSTANTS) Wm_mousemove: INTEGER_32 = 512 -- Declared in Windows as WM_MOUSEMOVE -- (from WEL_WM_CONSTANTS) Wm_mousewheel: INTEGER_32 = 522 -- Declared in Windows as WM_MOUSEWHEEL -- (from WEL_WM_CONSTANTS) Wm_move: INTEGER_32 = 3 -- Declared in Windows as WM_MOVE -- (from WEL_WM_CONSTANTS) Wm_moving: INTEGER_32 = 534 -- Declared in Windows as WM_MOVING -- (from WEL_WM_CONSTANTS) Wm_ncactivate: INTEGER_32 = 134 -- Declared in Windows as WM_NCACTIVATE -- (from WEL_WM_CONSTANTS) Wm_nccalcsize: INTEGER_32 = 131 -- Declared in Windows as WM_NCCALCSIZE -- (from WEL_WM_CONSTANTS) Wm_nccreate: INTEGER_32 = 129 -- Declared in Windows as WM_NCCREATE -- (from WEL_WM_CONSTANTS) Wm_ncdestroy: INTEGER_32 = 130 -- Declared in Windows as WM_NCDESTROY -- (from WEL_WM_CONSTANTS) Wm_nchittest: INTEGER_32 = 132 -- Declared in Windows as WM_NCHITTEST -- (from WEL_WM_CONSTANTS) Wm_nclbuttondblclk: INTEGER_32 = 163 -- Declared in Windows as WM_NCLBUTTONDBLCLK -- (from WEL_WM_CONSTANTS) Wm_nclbuttondown: INTEGER_32 = 161 -- Declared in Windows as WM_NCLBUTTONDOWN -- (from WEL_WM_CONSTANTS) Wm_nclbuttonup: INTEGER_32 = 162 -- Declared in Windows as WM_NCLBUTTONUP -- (from WEL_WM_CONSTANTS) Wm_ncmbuttondblclk: INTEGER_32 = 169 -- Declared in Windows as WM_NCMBUTTONDBLCLK -- (from WEL_WM_CONSTANTS) Wm_ncmbuttondown: INTEGER_32 = 167 -- Declared in Windows as WM_NCMBUTTONDOWN -- (from WEL_WM_CONSTANTS) Wm_ncmbuttonup: INTEGER_32 = 168 -- Declared in Windows as WM_NCMBUTTONUP -- (from WEL_WM_CONSTANTS) Wm_ncmousehover: INTEGER_32 = 672 -- Require Windows98, Windows NT 5.0 or later -- Declared in Windows as WM_NCMOUSEHOVER -- (from WEL_WM_CONSTANTS) Wm_ncmouseleave: INTEGER_32 = 674 -- Require Windows98, Windows NT 5.0 or later -- Declared in Windows as WM_NCMOUSELEAVE -- (from WEL_WM_CONSTANTS) Wm_ncmousemove: INTEGER_32 = 160 -- Declared in Windows as WM_NCMOUSEMOVE -- (from WEL_WM_CONSTANTS) Wm_ncpaint: INTEGER_32 = 133 -- Declared in Windows as WM_NCPAINT -- (from WEL_WM_CONSTANTS) Wm_ncrbuttondblclk: INTEGER_32 = 166 -- Declared in Windows as WM_NCRBUTTONDBLCLK -- (from WEL_WM_CONSTANTS) Wm_ncrbuttondown: INTEGER_32 = 164 -- Declared in Windows as WM_NCRBUTTONDOWN -- (from WEL_WM_CONSTANTS) Wm_ncrbuttonup: INTEGER_32 = 165 -- Declared in Windows as WM_NCRBUTTONUP -- (from WEL_WM_CONSTANTS) Wm_ncxbuttondblclk: INTEGER_32 = 173 -- Declared in Windows as WM_NCXBUTTONDBLCLK -- (from WEL_WM_CONSTANTS) Wm_ncxbuttondown: INTEGER_32 = 171 -- Declared in Windows as WM_NCXBUTTONDOWN -- (from WEL_WM_CONSTANTS) Wm_ncxbuttonup: INTEGER_32 = 172 -- Declared in Windows as WM_NCXBUTTONUP -- (from WEL_WM_CONSTANTS) Wm_nextdlgctl: INTEGER_32 = 40 -- Declared in Windows as WM_NEXTDLGCTL -- (from WEL_WM_CONSTANTS) Wm_nextmenu: INTEGER_32 = 531 -- Declared in Windows as WM_NEXTMENU -- (from WEL_WM_CONSTANTS) Wm_notify: INTEGER_32 = 78 -- Declared in Windows as WM_NOTIFY -- (from WEL_WM_CONSTANTS) Wm_notifyformat: INTEGER_32 = 85 -- Declared in Windows as WM_NOTIFYFORMAT -- (from WEL_WM_CONSTANTS) Wm_null: INTEGER_32 = 0 -- Declared in Windows as WM_NULL -- (from WEL_WM_CONSTANTS) Wm_paint: INTEGER_32 = 15 -- Declared in Windows as WM_PAINT -- (from WEL_WM_CONSTANTS) Wm_paintclipboard: INTEGER_32 = 777 -- Declared in Windows as WM_PAINTCLIPBOARD -- (from WEL_WM_CONSTANTS) Wm_painticon: INTEGER_32 = 38 -- Declared in Windows as WM_PAINTICON -- (from WEL_WM_CONSTANTS) Wm_palettechanged: INTEGER_32 = 785 -- Declared in Windows as WM_PALETTECHANGED -- (from WEL_WM_CONSTANTS) Wm_paletteischanging: INTEGER_32 = 784 -- Declared in Windows as WM_PALETTEISCHANGING -- (from WEL_WM_CONSTANTS) Wm_parentnotify: INTEGER_32 = 528 -- Declared in Windows as WM_PARENTNOTIFY -- (from WEL_WM_CONSTANTS) Wm_paste: INTEGER_32 = 770 -- Declared in Windows as WM_PASTE -- (from WEL_WM_CONSTANTS) Wm_penwinfirst: INTEGER_32 = 896 -- Declared in Windows as WM_PENWINFIRST -- (from WEL_WM_CONSTANTS) Wm_penwinlast: INTEGER_32 = 911 -- Declared in Windows as WM_PENWINLAST -- (from WEL_WM_CONSTANTS) Wm_power: INTEGER_32 = 72 -- Declared in Windows as WM_POWER -- (from WEL_WM_CONSTANTS) Wm_powerbroadcast: INTEGER_32 = 536 -- Declared in Windows as WM_POWERBROADCAST -- (from WEL_WM_CONSTANTS) Wm_print: INTEGER_32 = 791 -- Declared in Windows as WM_PRINT -- (from WEL_WM_CONSTANTS) Wm_printclient: INTEGER_32 = 792 -- Declared in Windows as WM_PRINTCLIENT -- (from WEL_WM_CONSTANTS) Wm_querydragicon: INTEGER_32 = 55 -- Declared in Windows as WM_QUERYDRAGICON -- (from WEL_WM_CONSTANTS) Wm_queryendsession: INTEGER_32 = 17 -- Declared in Windows as WM_QUERYENDSESSION -- (from WEL_WM_CONSTANTS) Wm_querynewpalette: INTEGER_32 = 783 -- Declared in Windows as WM_QUERYNEWPALETTE -- (from WEL_WM_CONSTANTS) Wm_queryopen: INTEGER_32 = 19 -- Declared in Windows as WM_QUERYOPEN -- (from WEL_WM_CONSTANTS) Wm_queryuistate: INTEGER_32 = 297 -- Declared in Windows as WM_QUERYUISTATE -- (from WEL_WM_CONSTANTS) Wm_queuesync: INTEGER_32 = 35 -- Declared in Windows as WM_QUEUESYNC -- (from WEL_WM_CONSTANTS) Wm_quit: INTEGER_32 = 18 -- Declared in Windows as WM_QUIT -- (from WEL_WM_CONSTANTS) Wm_rbuttondblclk: INTEGER_32 = 518 -- Declared in Windows as WM_RBUTTONDBLCLK -- (from WEL_WM_CONSTANTS) Wm_rbuttondown: INTEGER_32 = 516 -- Declared in Windows as WM_RBUTTONDOWN -- (from WEL_WM_CONSTANTS) Wm_rbuttonup: INTEGER_32 = 517 -- Declared in Windows as WM_RBUTTONUP -- (from WEL_WM_CONSTANTS) Wm_renderallformats: INTEGER_32 = 774 -- Declared in Windows as WM_RENDERALLFORMATS -- (from WEL_WM_CONSTANTS) Wm_renderformat: INTEGER_32 = 773 -- Declared in Windows as WM_RENDERFORMAT -- (from WEL_WM_CONSTANTS) Wm_set_window_pos_msg: INTEGER_32 = 1025 -- Our own messaging -- (from WEL_RESIZING_SUPPORT) Wm_setcursor: INTEGER_32 = 32 -- Declared in Windows as WM_SETCURSOR -- (from WEL_WM_CONSTANTS) Wm_setfocus: INTEGER_32 = 7 -- Declared in Windows as WM_SETFOCUS -- (from WEL_WM_CONSTANTS) Wm_setfont: INTEGER_32 = 48 -- Declared in Windows as WM_SETFONT -- (from WEL_WM_CONSTANTS) Wm_sethotkey: INTEGER_32 = 50 -- Declared in Windows as WM_SETHOTKEY -- (from WEL_WM_CONSTANTS) Wm_seticon: INTEGER_32 = 128 -- Declared in Windows as WM_SETICON -- (from WEL_WM_CONSTANTS) Wm_setredraw: INTEGER_32 = 11 -- Declared in Windows as WM_SETREDRAW -- (from WEL_WM_CONSTANTS) Wm_settext: INTEGER_32 = 12 -- Declared in Windows as WM_SETTEXT -- (from WEL_WM_CONSTANTS) Wm_settingchange: INTEGER_32 = 26 -- Declared in Windows as WM_WININICHANGE -- Was declared in {WEL_WM_CONSTANTS} as synonym of `wm_wininichange`. -- (from WEL_WM_CONSTANTS) Wm_showwindow: INTEGER_32 = 24 -- Declared in Windows as WM_SHOWWINDOW -- (from WEL_WM_CONSTANTS) Wm_size: INTEGER_32 = 5 -- Declared in Windows as WM_SIZE -- (from WEL_WM_CONSTANTS) Wm_sizeclipboard: INTEGER_32 = 779 -- Declared in Windows as WM_SIZECLIPBOARD -- (from WEL_WM_CONSTANTS) Wm_sizing: INTEGER_32 = 532 -- Declared in Windows as WM_SIZING -- (from WEL_WM_CONSTANTS) Wm_spoolerstatus: INTEGER_32 = 42 -- Declared in Windows as WM_SPOOLERSTATUS -- (from WEL_WM_CONSTANTS) Wm_stylechanged: INTEGER_32 = 125 -- Declared in Windows as WM_STYLECHANGED -- (from WEL_WM_CONSTANTS) Wm_stylechanging: INTEGER_32 = 124 -- Declared in Windows as WM_STYLECHANGING -- (from WEL_WM_CONSTANTS) Wm_syncpaint: INTEGER_32 = 136 -- Declared in Windows as WM_SYNCPAINT -- (from WEL_WM_CONSTANTS) Wm_syschar: INTEGER_32 = 262 -- Declared in Windows as WM_SYSCHAR -- (from WEL_WM_CONSTANTS) Wm_syscolorchange: INTEGER_32 = 21 -- Declared in Windows as WM_SYSCOLORCHANGE -- (from WEL_WM_CONSTANTS) Wm_syscommand: INTEGER_32 = 274 -- Declared in Windows as WM_SYSCOMMAND -- (from WEL_WM_CONSTANTS) Wm_sysdeadchar: INTEGER_32 = 263 -- Declared in Windows as WM_SYSDEADCHAR -- (from WEL_WM_CONSTANTS) Wm_syskeydown: INTEGER_32 = 260 -- Declared in Windows as WM_SYSKEYDOWN -- (from WEL_WM_CONSTANTS) Wm_syskeyup: INTEGER_32 = 261 -- Declared in Windows as WM_SYSKEYUP -- (from WEL_WM_CONSTANTS) Wm_tcard: INTEGER_32 = 82 -- Declared in Windows as WM_TCARD -- (from WEL_WM_CONSTANTS) Wm_themechanged: INTEGER_32 = 794 -- Declared in Windows as WM_THEMECHANGED -- (from WEL_WM_CONSTANTS) Wm_timechange: INTEGER_32 = 30 -- Declared in Windows as WM_TIMECHANGE -- (from WEL_WM_CONSTANTS) Wm_timer: INTEGER_32 = 275 -- Declared in Windows as WM_TIMER -- (from WEL_WM_CONSTANTS) Wm_undo: INTEGER_32 = 772 -- Declared in Windows as WM_UNDO -- (from WEL_WM_CONSTANTS) Wm_uninitmenupopup: INTEGER_32 = 293 -- Declared in Windows as WM_UNINITMENUPOPUP -- (from WEL_WM_CONSTANTS) Wm_updateuistate: INTEGER_32 = 296 -- Declared in Windows as WM_UPDATEUISTATE -- (from WEL_WM_CONSTANTS) Wm_user: INTEGER_32 = 1024 -- Declared in Windows as WM_USER -- (from WEL_WM_CONSTANTS) Wm_userchanged: INTEGER_32 = 84 -- Declared in Windows as WM_USERCHANGED -- (from WEL_WM_CONSTANTS) Wm_vkeytoitem: INTEGER_32 = 46 -- Declared in Windows as WM_VKEYTOITEM -- (from WEL_WM_CONSTANTS) Wm_vscroll: INTEGER_32 = 277 -- Declared in Windows as WM_VSCROLL -- (from WEL_WM_CONSTANTS) Wm_vscrollclipboard: INTEGER_32 = 778 -- Declared in Windows as WM_VSCROLLCLIPBOARD -- (from WEL_WM_CONSTANTS) Wm_windowposchanged: INTEGER_32 = 71 -- Declared in Windows as WM_WINDOWPOSCHANGED -- (from WEL_WM_CONSTANTS) Wm_windowposchanging: INTEGER_32 = 70 -- Declared in Windows as WM_WINDOWPOSCHANGING -- (from WEL_WM_CONSTANTS) Wm_wininichange: INTEGER_32 = 26 -- Declared in Windows as WM_WININICHANGE -- Was declared in {WEL_WM_CONSTANTS} as synonym of `wm_settingchange`. -- (from WEL_WM_CONSTANTS) Wm_xbuttondblclk: INTEGER_32 = 525 -- Declared in Windows as WM_XBUTTONDBLCLK -- (from WEL_WM_CONSTANTS) Wm_xbuttondown: INTEGER_32 = 523 -- Declared in Windows as WM_XBUTTONDOWN -- (from WEL_WM_CONSTANTS) Wm_xbuttonup: INTEGER_32 = 524 -- Declared in Windows as WM_XBUTTONUP -- (from WEL_WM_CONSTANTS) x_position: INTEGER_32 -- Result is x_position of Current in pixels. -- If `wel_parent` not Void then Result is relative to `wel_parent` else -- Result is relative to screen. -- (from EV_WIDGET_IMP) require -- from EV_POSITIONED_I True require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW wel_parent = Void implies Result = absolute_x y_position: INTEGER_32 -- Result is x_position of Current in pixels. -- If `wel_parent` not Void then Result is relative to `wel_parent` else -- Result is relative to screen. -- (from EV_WIDGET_IMP) require -- from EV_POSITIONED_I True require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW wel_parent = Void implies Result = absolute_y feature -- Measurement count: INTEGER_32 -- Number of items. -- (from EV_DYNAMIC_LIST_IMP) require -- from EV_DYNAMIC_LIST_I True dpi: NATURAL_32 -- Window dpi. -- (from EV_POSITIONED_I) feature -- Comparison frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void -- or attached to isomorphic object structures? -- (from ANY) ensure -- from ANY instance_free: class shallow_implies_deep: standard_equal (a, b) implies Result both_or_none_void: (a = Void) implies (Result = (b = Void)) same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b)) symmetric: Result implies deep_equal (b, a) frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached -- to objects considered equal? -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b)) frozen is_deep_equal alias "≡≡≡" (other: EV_LIST_IMP): BOOLEAN -- Are Current and other attached to isomorphic object structures? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY shallow_implies_deep: standard_is_equal (other) implies Result same_type: Result implies same_type (other) symmetric: Result implies other.is_deep_equal (Current) is_equal (other: EV_LIST_IMP): BOOLEAN -- Is other attached to an object considered -- equal to current object? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY symmetric: Result implies other ~ Current consistent: standard_is_equal (other) implies Result frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached to -- field-by-field identical objects of the same type? -- Always uses default object comparison criterion. -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b)) frozen standard_is_equal alias "≜" (other: EV_LIST_IMP): BOOLEAN -- Is other attached to an object of the same type -- as current object, and field-by-field identical to it? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY same_type: Result implies same_type (other) symmetric: Result implies other.standard_is_equal (Current) feature -- Status report absolute_x: INTEGER_32 -- Absolute x position -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW Result = window_rect.x absolute_y: INTEGER_32 -- Absolute y position -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW Result = window_rect.y background_brush: detachable WEL_BRUSH -- Current window background color used to refresh the window when -- requested by the WM_ERASEBKGND windows message. -- By default there is no background -- (from WEL_WINDOW) ensure -- from WEL_WINDOW new_object: Result /= Void implies Result /= background_brush background_brush_gdip: detachable WEL_GDIP_BRUSH -- GDI+ version of `background_brush` -- Result void if GDI+ not available -- (from WEL_WINDOW) caption_height: INTEGER_32 -- Height of normal caption area -- (from WEL_SYSTEM_METRICS) captured_window: detachable WEL_WINDOW -- Current window which has been captured. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists window_captured: window_captured client_rect: WEL_RECT -- Client rectangle -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW result_not_void: Result /= Void closest_dockable_target: detachable EV_DOCKABLE_TARGET -- Result is first dockable target that `is_dockable` found by recursively -- searching up through the parenting structure from the widget -- currently underneath the pointer position. -- Result will be Void if a dockable target is not found. -- (from EV_DOCKABLE_SOURCE_I) ensure -- from EV_DOCKABLE_SOURCE_I result_is_dockable: Result /= Void implies Result.is_docking_enabled column_count: INTEGER_32 -- Number of columns -- (from WEL_LIST_VIEW) command (message: INTEGER_32): WEL_COMMAND -- Command associated to message -- (from WEL_WINDOW) require -- from WEL_WINDOW positive_message: message >= 0 command_exists: command_exists (message) ensure -- from WEL_WINDOW result_not_void: Result /= Void command_argument (message: INTEGER_32): detachable ANY -- Command argument associated to message -- (from WEL_WINDOW) require -- from WEL_WINDOW positive_message: message >= 0 command_exists: command_exists (message) command_exists (message: INTEGER_32): BOOLEAN -- Does a command associated to message exist? -- (from WEL_WINDOW) require -- from WEL_WINDOW positive_message: message >= 0 ensure -- from WEL_WINDOW definition: Result implies attached commands as l_commands_var and then l_commands_var.item (message) /= Void commands_enabled: BOOLEAN -- Is the commands execution enabled? -- (from WEL_WINDOW) conforms_to (other: ANY): BOOLEAN -- Does type of current object conform to type -- of other (as per Eiffel: The Language, chapter 13)? -- (from ANY) require -- from ANY other_not_void: other /= Void wel_count: INTEGER_32 -- Number of item in the list view -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists cursor_height: INTEGER_32 -- Height of the cursor -- (from WEL_SYSTEM_METRICS) cursor_width: INTEGER_32 -- Width of the cursor -- (from WEL_SYSTEM_METRICS) dbcs_installed: BOOLEAN -- Is the double-byte character set (DBCS) version -- of USER.EXE installed? -- (from WEL_SYSTEM_METRICS) debug_installed: BOOLEAN -- Is the debugging version of USER.EXE installed? -- (from WEL_SYSTEM_METRICS) destroyed: BOOLEAN -- Is Current destroyed ? -- (from EV_WIDGET_IMP) dialog_window_frame_height: INTEGER_32 -- Height of window frame for window that -- has the `ws_dlgframe` style -- (from WEL_SYSTEM_METRICS) dialog_window_frame_width: INTEGER_32 -- Width of window frame for window that -- has the `ws_dlgframe` style -- (from WEL_SYSTEM_METRICS) double_click_height: INTEGER_32 -- Height of a rectangle around the location of a -- first click in a double-click sequence. The second -- click must occur within this rectangle for the -- system to consider the two clicks a double-click. -- (from WEL_SYSTEM_METRICS) double_click_width: INTEGER_32 -- Width of a rectangle around the location of a -- first click in a double-click sequence. The second -- click must occur within this rectangle for the -- system to consider the two clicks a double-click. -- (from WEL_SYSTEM_METRICS) is_sensitive: BOOLEAN -- Is the window enabled for mouse and keyboard input? -- (from WEL_WINDOW) require -- from EV_SENSITIVE_I True require -- from WEL_WINDOW exists: exists ex_style: INTEGER_32 -- Window ex_style -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists exists: BOOLEAN -- Does the `item` exist? -- (from WEL_ANY) require -- from EV_WIDGET_IMP True ensure -- from WEL_ANY Result = (wel_item /= default_pointer) flag_set (flags, mask: INTEGER_32): BOOLEAN -- Is mask set in flags? -- (from WEL_BIT_OPERATIONS) focus_item: INTEGER_32 -- Zero-based index of the item that has the focus -- Return -1 if there is none. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists ensure -- from WEL_LIST_VIEW result_large_enough: Result >= -1 result_small_enough: Result < wel_count focused_window: detachable WEL_WINDOW -- Current window which has the focus. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists foreground_window: detachable WEL_WINDOW -- Foreground window (window with focus) -- (from WEL_WINDOWS_ROUTINES) full_screen_client_area_height: INTEGER_32 -- Height of the client area for a full-screen window -- (from WEL_SYSTEM_METRICS) full_screen_client_area_width: INTEGER_32 -- Width of the client area for a full-screen window -- (from WEL_SYSTEM_METRICS) get_background_color: WEL_COLOR_REF -- Result is background color used for control. -- (from WEL_LIST_VIEW) get_cell_text (isub_item, iitem: INTEGER_32): STRING_32 -- Get the label of the cell with coordinates isub_item, iiitem. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists iitem_large_enough: iitem >= 0 isub_item_large_enough: isub_item >= 0 iitem_small_enough: iitem < wel_count isub_item_small_enough: isub_item < column_count get_column_width (column: INTEGER_32): INTEGER_32 -- Width of the zero-based `index`-th item. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: column >= 0 index_small_enough: column < column_count get_extended_view_style: INTEGER_32 -- Gets extended styles in list view controls. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW function_supported: Comctl32_version >= Version_470 get_item (index, subitem: INTEGER_32): WEL_LIST_VIEW_ITEM -- Return a representation of the item at the -- `index` position. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: index >= 0 index_small_enough: index < wel_count subitem_large_enough: subitem >= 0 subitem_small_enough: subitem < column_count get_item_position (index: INTEGER_32): WEL_POINT -- Retrieves the position of the zero-based `index`-th item. -- (from WEL_LIST_VIEW) require -- from EV_LIST_ITEM_LIST_IMP True require -- from WEL_LIST_VIEW exists: exists index_large_enough: index >= 0 index_small_enough: index < wel_count get_item_rect (index: INTEGER_32): WEL_RECT -- Retrieves the position of the zero-based `index`-th item. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: index >= 0 index_small_enough: index <= wel_count get_item_state (index, mask: INTEGER_32): INTEGER_32 -- State of the zero-based `index`-th item. The mask give -- the state informations to retrieve. See WEL_LVIS_CONSTANTS for -- the value of the mask. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: index >= 0 index_small_enough: index < wel_count get_next_target (a_widget: EV_WIDGET): detachable EV_DOCKABLE_TARGET -- Result is next dockable target that is `is_dockable` found by -- recursively seraching up the parenting structure from current_target. -- Result will be Void if none. -- (from EV_DOCKABLE_SOURCE_I) require -- from EV_DOCKABLE_SOURCE_I a_widget_not_void: a_widget /= Void ensure -- from EV_DOCKABLE_SOURCE_I result_is_dockable: Result /= Void implies Result.is_docking_enabled get_text_background_color: WEL_COLOR_REF -- Result is background color of item text. -- (from WEL_LIST_VIEW) get_text_foreground_color: WEL_COLOR_REF -- Result is foreground color for item text. -- (from WEL_LIST_VIEW) get_tooltip: detachable WEL_TOOLTIP -- Result is tooltip associated with Current. -- (from WEL_LIST_VIEW) has (v: detachable like item): BOOLEAN -- Does structure contain v? -- (from EV_DYNAMIC_LIST_I) has_capture: BOOLEAN -- Does Current have capture? -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_I True wel_has_capture: BOOLEAN -- Does this window have the capture? -- (from WEL_WINDOW) require -- from EV_DOCKABLE_SOURCE_IMP True require -- from WEL_WINDOW exists: exists has_focus: BOOLEAN -- Does this window have the focus? -- (from WEL_WINDOW) require -- from EV_WIDGET_I True require -- from WEL_WINDOW exists: exists has_horizontal_scroll_bar: BOOLEAN -- Does this window have a horizontal scroll bar? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists has_system_font: BOOLEAN -- Does the control use the system font? -- (from WEL_CONTROL) require -- from WEL_CONTROL exists: exists has_vertical_scroll_bar: BOOLEAN -- Does this window have a vertical scroll bar? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists wel_height: INTEGER_32 -- Window height -- (from WEL_WINDOW) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed require -- from WEL_WINDOW exists: exists horizontal_scroll_bar_arrow_height: INTEGER_32 -- Height of arrow bitmap on horizontal scrollbar -- (from WEL_SYSTEM_METRICS) horizontal_scroll_bar_arrow_width: INTEGER_32 -- Width of arrow bitmap on horizontal scrollbar -- (from WEL_SYSTEM_METRICS) horizontal_scroll_bar_thumb_width: INTEGER_32 -- (from WEL_SYSTEM_METRICS) icon_height: INTEGER_32 -- Height of an icon -- (from WEL_SYSTEM_METRICS) icon_spacing_height: INTEGER_32 -- Height of rectangular cell that Program Manager -- uses to position tiled icons -- (from WEL_SYSTEM_METRICS) icon_spacing_width: INTEGER_32 -- Width of rectangular cell that Program Manager -- uses to position tiled icons -- (from WEL_SYSTEM_METRICS) icon_width: INTEGER_32 -- Width of an icon -- (from WEL_SYSTEM_METRICS) imm_enabled: BOOLEAN -- Is the IMM enabled (works only for Windows 2000 and -- and Asian locale machines (Chinese, Japanese, Korean)) -- (from WEL_SYSTEM_METRICS) internal_non_sensitive: BOOLEAN -- Is Current not sensitive to input as seen -- from `interface`? -- (from EV_SENSITIVE_I) is_destroyed: BOOLEAN -- Is Current no longer usable? -- (from EV_ANY_I) is_inside: BOOLEAN -- Is the current window inside another window? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists is_remote_session: BOOLEAN -- Is current applications displayed using remote desktop? -- (from WEL_SYSTEM_METRICS) is_show_requested: BOOLEAN -- Is Current displayed in its parent? -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_I True require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed is_terminal_service: BOOLEAN -- If window in terminal service (Remote Desktop)? -- (from WEL_WINDOWS_ROUTINES) require -- from WEL_WINDOWS_ROUTINES after_2000: (create {WEL_WINDOWS_VERSION} end).is_windows_2000_compatible is_transport_enabled: BOOLEAN -- Is the transport mechanism enabled? -- (from EV_PICK_AND_DROPABLE_I) is_window (hwnd: POINTER): BOOLEAN -- Does hwnd point to a valid Window? -- (from WEL_WINDOWS_ROUTINES) kanji_window_height: INTEGER_32 -- Height of the Kanji window at the bottom of the -- screen. For double-byte character set versions of -- Windows only. -- (from WEL_SYSTEM_METRICS) key_down (virtual_key: INTEGER_32): BOOLEAN --Is 'virtual' key pressed -- (from WEL_WINDOWS_ROUTINES) key_locked (virtual_key: INTEGER_32): BOOLEAN --Is 'virtual' key locked -- (from WEL_WINDOWS_ROUTINES) key_to_string (key_data: INTEGER_32): STRING_32 -- Give the string associated with the key given by -- virtual_key. -- (from WEL_WINDOWS_ROUTINES) Managed: BOOLEAN = True -- All widgets are managed. -- (from EV_WIDGET_IMP) maximal_height: INTEGER_32 -- Maximal height allowed for the window -- (from WEL_WINDOW) ensure -- from WEL_WINDOW result_large_enough: Result >= minimal_height maximal_width: INTEGER_32 -- Maximal width allowed for the window -- (from WEL_WINDOW) ensure -- from WEL_WINDOW result_large_enough: Result >= minimal_width maximized: BOOLEAN -- Is the window maximized? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists maximized_window_height: INTEGER_32 -- Height of a maximized window -- (from WEL_SYSTEM_METRICS) maximized_window_width: INTEGER_32 -- Width of a maximized window -- (from WEL_SYSTEM_METRICS) menu_bar_height: INTEGER_32 -- Height of single-line menu bar -- (from WEL_SYSTEM_METRICS) minimal_height: INTEGER_32 -- Minimal height allowed for the window -- Zero by default. -- (from WEL_WINDOW) ensure -- from WEL_WINDOW positive_result: Result >= 0 result_small_enough: Result <= maximal_height minimal_width: INTEGER_32 -- Minimal width allowed for the window -- Zero by default. -- (from WEL_WINDOW) ensure -- from WEL_WINDOW positive_result: Result >= 0 result_small_enough: Result <= maximal_width minimized: BOOLEAN -- Is the window minimized? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists mode_is_configurable_target_menu: BOOLEAN -- Is the transport mechanism a configurable target menu? -- (from EV_PICK_AND_DROPABLE_I) mode_is_drag_and_drop: BOOLEAN -- Is the transport mechanism drag and drop? -- (from EV_PICK_AND_DROPABLE_I) mode_is_pick_and_drop: BOOLEAN -- Is the transport mechanism pick and drop? -- (from EV_PICK_AND_DROPABLE_I) mode_is_target_menu: BOOLEAN -- Is the transport mechanism a target menu? -- (from EV_PICK_AND_DROPABLE_I) monitor_count: INTEGER_32 -- Number of monitors used for displaying virtual screen. -- (from WEL_SYSTEM_METRICS) mouse_button_swapped: BOOLEAN -- Are the meanings of the left and right mouse -- buttons swapped? -- (from WEL_SYSTEM_METRICS) mouse_installed: BOOLEAN -- Is a mouse installed? -- (from WEL_SYSTEM_METRICS) pen_installed: BOOLEAN -- Is a pen installed? -- (from WEL_SYSTEM_METRICS) placement: WEL_WINDOW_PLACEMENT -- Window placement information -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW result_not_void: Result /= Void popup_menu_right_aligned: BOOLEAN -- Are pop-up menus right-aligned relative to the -- corresponding menu-bar item? -- (from WEL_SYSTEM_METRICS) same_type (other: ANY): BOOLEAN -- Is type of current object identical to type of other? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY definition: Result = (conforms_to (other) and other.conforms_to (Current)) screen_height: INTEGER_32 -- Screen height -- (from WEL_SYSTEM_METRICS) screen_width: INTEGER_32 -- Screen width -- (from WEL_SYSTEM_METRICS) selected_count: INTEGER_32 -- Number of selected items in the list view window -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists wel_selected_item: INTEGER_32 -- Contains the top most selected index. -- -1 if no item is selected. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists ensure -- from WEL_LIST_VIEW result_valid: selected_count > 0 implies Result >= 0 wel_selected_items: ARRAY [INTEGER_32] -- Contains all the selected index. Only one in -- case of a single selection list view. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists ensure -- from WEL_LIST_VIEW result_not_void: Result /= Void result_valid: Result.count = selected_count shared: BOOLEAN -- Is `item` shared by another object? -- If False (by default), `item` will -- be destroyed by `destroy_item`. -- If True, `item` will not be destroyed. -- (from WEL_ANY) is_displayed: BOOLEAN -- Is the window shown? -- (from WEL_WINDOW) require -- from EV_WIDGET_I True require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed require -- from WEL_WINDOW exists: exists style: INTEGER_32 -- Window style -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists system_directory: STRING_32 -- Path of the Windows system directory -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES result_not_void: Result /= Void text: STRING_32 -- Window text -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW result_not_void: Result /= Void text_length: INTEGER_32 -- Text length -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW positive_result: Result >= 0 text_substring (nb: INTEGER_32): WEL_STRING -- nb code units of `text` retrieved as a WEL_STRING. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists valid_upper_bound: nb <= text_length tick_count: INTEGER_32 -- Number of milliseconds that have -- elapsed since Windows was started. -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES positive_result: Result >= 0 title_bar_height: INTEGER_32 -- Height of title bar. -- (from WEL_SYSTEM_METRICS) title_bar_image_height: INTEGER_32 -- Height of bitmap contained in title bar. -- (from WEL_SYSTEM_METRICS) title_bar_image_width: INTEGER_32 -- Width of bitmap contained in title bar. -- (from WEL_SYSTEM_METRICS) top_index: INTEGER_32 -- Index of the first visible item -- (from WEL_LIST_VIEW) require -- from EV_LIST_ITEM_LIST_IMP True require -- from WEL_LIST_VIEW exists ensure -- from WEL_LIST_VIEW result_large_enough: Result >= 0 result_small_enough: Result <= wel_count user_is_sensitive: BOOLEAN -- Is the object sensitive to user input. -- (from EV_SENSITIVE_I) valid_color_constant (c: INTEGER_32): BOOLEAN -- Is c a valid color constant? -- (from WEL_COLOR_CONSTANTS) valid_cursor (p: CURSOR): BOOLEAN -- Can the cursor be moved to position p? -- This is True if p conforms to EV_DYNAMIC_LIST_CURSOR and -- if it points to an item, Current must have it. -- (from EV_DYNAMIC_LIST_I) valid_hwnd_constant (c: POINTER): BOOLEAN -- Is c a valid hwnd constant? -- (from WEL_HWND_CONSTANTS) valid_region_constant (c: INTEGER_32): BOOLEAN -- Is c a valid region constant? -- (from WEL_RGN_CONSTANTS) vertical_scroll_bar_arrow_height: INTEGER_32 -- Height of arrow bitmap on vertical scrollbar -- (from WEL_SYSTEM_METRICS) vertical_scroll_bar_arrow_width: INTEGER_32 -- Width of arrow bitmap on vertical scrollbar -- (from WEL_SYSTEM_METRICS) vertical_scroll_bar_thumb_height: INTEGER_32 -- Height of vertical scrollbar thumb -- (from WEL_SYSTEM_METRICS) virtual_screen_height: INTEGER_32 -- Screen height -- (from WEL_SYSTEM_METRICS) virtual_screen_width: INTEGER_32 -- Screen width -- (from WEL_SYSTEM_METRICS) virtual_screen_x: INTEGER_32 -- Screen width -- (from WEL_SYSTEM_METRICS) virtual_screen_y: INTEGER_32 -- Screen height -- (from WEL_SYSTEM_METRICS) visible_count: INTEGER_32 -- Number of items that will fit in the list view window -- (from WEL_LIST_VIEW) require -- from EV_LIST_ITEM_LIST_IMP True require -- from WEL_LIST_VIEW exists: exists wel_width: INTEGER_32 -- Window width -- (from WEL_WINDOW) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed require -- from WEL_WINDOW exists: exists window_border_height: INTEGER_32 -- Height of the border of a window -- (from WEL_SYSTEM_METRICS) window_border_width: INTEGER_32 -- Width of the border of a window -- (from WEL_SYSTEM_METRICS) window_captured: BOOLEAN -- Has a window been captured? -- (from WEL_WINDOW) window_frame_height: INTEGER_32 -- Height of window frame for a window -- that can be resized -- (from WEL_SYSTEM_METRICS) window_frame_width: INTEGER_32 -- Width of window frame for a window -- that can be resized -- (from WEL_SYSTEM_METRICS) window_minimum_height: INTEGER_32 -- Minimum height of a window -- (from WEL_SYSTEM_METRICS) window_minimum_width: INTEGER_32 -- Minimum width of a window -- (from WEL_SYSTEM_METRICS) window_of_item (hwnd: POINTER): detachable WEL_WINDOW -- Retrieve Eiffel object associated with hwnd pointer. -- (from WEL_WINDOWS_ROUTINES) require -- from WEL_WINDOWS_ROUTINES hwnd_not_null: hwnd /= default_pointer is_window_pointer: is_window (hwnd) ensure -- from WEL_WINDOWS_ROUTINES is_wel_window: Result /= Void end implies (create {INTERNAL} end).type_conforms_to ((create {INTERNAL} end).dynamic_type (Result), (create {INTERNAL} end).dynamic_type_from_string ("WEL_WINDOW")) is_proper_wel_window: Result /= Void implies Result.item = hwnd window_rect: WEL_RECT -- Window rectangle (absolute position) -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW result_not_void: Result /= Void windows_directory: STRING_32 -- Path of the Windows directory -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES result_not_void: Result /= Void feature -- Status setting check_drag_and_drop_release (a_x, a_y: INTEGER_32) -- End transport if in drag and drop. -- (from EV_PICK_AND_DROPABLE_IMP) check_dragable_release (a_x, a_y: INTEGER_32) -- End transport if in drag and drop. -- (from EV_DOCKABLE_SOURCE_IMP) require -- from EV_PICK_AND_DROPABLE_ITEM_HOLDER_IMP True clear_selection -- Make `selected_items` empty. default_key_processing_disabled: BOOLEAN -- Has default key processing been disabled? -- (from EV_LIST_I) deselect_item (an_index: INTEGER_32) -- Deselect item at an_index. require -- from EV_LIST_ITEM_LIST_I index_within_range: an_index > 0 and an_index <= count disable -- Disable mouse and keyboard input -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW disabled: not is_sensitive disable_capture -- Release all user events. -- (from EV_WIDGET_IMP) require -- from EV_PICK_AND_DROPABLE_I True require -- from EV_DOCKABLE_SOURCE_IMP True disable_commands -- Disable commands execution. -- (from WEL_WINDOW) ensure -- from WEL_WINDOW commands_disabled: not commands_enabled disable_default_key_processing -- Ensure default key processing is not performed. -- (from EV_LIST_I) disable_default_processing -- Disable default window processing. -- The standard window procedure will not be called for -- each messages received by the window and then the -- normal behavior will not occur. -- (from WEL_WINDOW) require -- from EV_PICK_AND_DROPABLE_ITEM_HOLDER_IMP True require -- from EV_WIDGET_IMP True ensure -- from WEL_WINDOW default_processing_disabled: not default_processing disable_dockable -- Ensure Current is not dockable -- (from EV_DOCKABLE_SOURCE_I) ensure -- from EV_DOCKABLE_SOURCE_I not_is_dockable: not is_dockable disable_drag_accept_files -- Disallow Current from being a file drag and drop target. -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists disable_external_docking -- Forbid Current to be docked into an EV_DOCKABLE_DIALOG -- When there is no valid EV_DRAGABLE_TARGET upon completion -- of the transport? -- (from EV_DOCKABLE_SOURCE_I) require -- from EV_DOCKABLE_SOURCE_I is_dockable: is_dockable ensure -- from EV_DOCKABLE_SOURCE_I not_externally_dockable: not is_external_docking_enabled disable_external_docking_relative -- Assign False to `is_external_docking_relative`, ensuring that -- a dockable dialog displayed when Current is docked externally -- is displayed as a standard window. -- (from EV_DOCKABLE_SOURCE_I) require -- from EV_DOCKABLE_SOURCE_I external_docking_enabled: is_external_docking_enabled ensure -- from EV_DOCKABLE_SOURCE_I external_docking_not_relative: not is_external_docking_relative disable_multiple_selection -- Allow only one item to be selected. disable_pebble_positioning -- Assign False to `pebble_positioning_enabled`. -- (from EV_PICK_AND_DROPABLE_I) disable_sensitive -- Make object desensitive to user input. require -- from EV_SENSITIVE_I True disable_transport -- Deactivate pick/drag and drop mechanism. -- (from EV_PICK_AND_DROPABLE_IMP) require -- from EV_PICK_AND_DROPABLE_I True ensure -- from EV_PICK_AND_DROPABLE_I is_transport_disabled: not is_transport_enabled dragable_motion (a_x, a_y, a_screen_x, a_screen_y: INTEGER_32) -- If in drag/pick and drop then update. -- (from EV_DOCKABLE_SOURCE_IMP) dragable_press (a_x, a_y, a_button, a_screen_x, a_screen_y: INTEGER_32) -- Process a_button to start/stop the drag/pick and -- drop mechanism. -- (from EV_DOCKABLE_SOURCE_IMP) require -- from EV_PICK_AND_DROPABLE_ITEM_HOLDER_IMP True enable -- Enable mouse and keyboard input. -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW enabled: is_sensitive enable_capture -- Enable capture. -- (from EV_WIDGET_IMP) require -- from EV_PICK_AND_DROPABLE_I True enable_commands -- Enable commands execution. -- (from WEL_WINDOW) ensure -- from WEL_WINDOW commands_enabled: commands_enabled enable_default_processing -- Enable default window processing. -- The standard window procedure will be called for -- each messages received by the window and then the -- normal behavior will occur. -- (from WEL_WINDOW) ensure -- from WEL_WINDOW default_processing_enabled: default_processing enable_dockable -- Allow Current to be dockable -- (from EV_DOCKABLE_SOURCE_I) ensure -- from EV_DOCKABLE_SOURCE_I is_dockable: is_dockable enable_drag_accept_files -- Allow Current to be a file drag and drop target. -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists enable_external_docking -- Allow Current to be docked into an EV_DOCKABLE_DIALOG -- When there is no valid EV_DRAGABLE_TARGET upon completion -- of the transport? -- (from EV_DOCKABLE_SOURCE_I) require -- from EV_DOCKABLE_SOURCE_I is_dockable: is_dockable ensure -- from EV_DOCKABLE_SOURCE_I is_externally_dockable: is_external_docking_enabled enable_external_docking_relative -- Assign True to `is_external_docking_relative`, ensuring that -- a dockable dialog displayed when Current is docked externally -- is displayed relative to the top level window. -- (from EV_DOCKABLE_SOURCE_I) require -- from EV_DOCKABLE_SOURCE_I external_docking_enabled: is_external_docking_enabled ensure -- from EV_DOCKABLE_SOURCE_I external_docking_not_relative: is_external_docking_relative enable_multiple_selection -- Allow more than one item to be selected. enable_pebble_positioning -- Assign True to `pebble_positioning_enabled`. -- (from EV_PICK_AND_DROPABLE_I) enable_sensitive -- Make object sensitive to user input. require -- from EV_SENSITIVE_I True enable_transport -- Activate pick/drag and drop mechanism. -- (from EV_PICK_AND_DROPABLE_IMP) require -- from EV_PICK_AND_DROPABLE_I pebble_not_void: pebble /= Void or pebble_function /= Void ensure -- from EV_PICK_AND_DROPABLE_I is_transport_enabled: is_transport_enabled ensure_item_visible (an_item: EV_LIST_ITEM) -- Ensure an_item is visible in Current. ensure_visible (an_index: INTEGER_32) -- Ensure that column an_index is completely visible in Current. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: an_index >= 0 index_small_enough: an_index < wel_count has_parent: BOOLEAN -- Is Current parented? -- (from EV_WIDGET_IMP) require -- from EV_SENSITIVE_I True hide -- Hide Current. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_I True require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW hidden: not is_displayed maximize -- Maximize the window -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW maximized: maximized minimize -- Minimize the window and display its icon -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW minimized: minimized parent_is_sensitive: BOOLEAN -- Is parent of Current sensitive? -- (from EV_WIDGET_IMP) require -- from EV_SENSITIVE_I True pnd_motion (a_x, a_y, a_screen_x, a_screen_y: INTEGER_32) -- If in drag/pick and drop then update. -- (from EV_PICK_AND_DROPABLE_IMP) release_capture -- Release the mouse capture after a call -- to `set_capture`. -- (from WEL_WINDOW) require -- from EV_PICK_AND_DROPABLE_IMP True require -- from EV_DOCKABLE_SOURCE_IMP True require -- from EV_LIST_ITEM_LIST_IMP True require -- from WEL_WINDOW exists: exists has_capture: wel_has_capture ensure -- from WEL_WINDOW not_has_capture: not wel_has_capture remove_default_key_processing_handler -- Ensure `default_key_processing_handler` is Void. -- (from EV_WIDGET_I) ensure -- from EV_WIDGET_I default_key_processing_handler_removed: default_key_processing_handler = Void remove_pebble -- Remove `pebble`. -- (from EV_PICK_AND_DROPABLE_I) ensure -- from EV_PICK_AND_DROPABLE_I pebble_removed: pebble = Void and pebble_function = Void is_transport_disabled: not is_transport_enabled remove_real_source -- Ensure `real_source` is Void. -- (from EV_DOCKABLE_SOURCE_I) require -- from EV_DOCKABLE_SOURCE_I is_dockable: is_dockable ensure -- from EV_DOCKABLE_SOURCE_I real_source_void: real_source = Void remove_real_target -- Ensure `real_target` is Void. -- (from EV_WIDGET_I) ensure -- from EV_WIDGET_I real_target_void: real_target = Void reset_pebble_function -- Reset any values created by calling `pebble_function`. -- (from EV_PICK_AND_DROPABLE_I) ensure -- from EV_PICK_AND_DROPABLE_I pebble_function_preserved: pebble_function = old pebble_function pebble_without_function: pebble_function = Void implies (pebble = old pebble) pebble_with_function: pebble_function /= Void implies pebble = Void restore -- Restore the window to its -- original size and position after -- `minimize` or `maximize` -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists select_item (an_index: INTEGER_32) -- Select item at an_index. require -- from EV_LIST_ITEM_LIST_I index_within_range: an_index > 0 and an_index <= count selected_items_at_disable_sensitive: detachable ARRAYED_LIST [EV_LIST_ITEM] -- All the selected items at the point `disable_sensitive` -- was called. When we call `disable_sensitive` on a list, we -- do not want the selected items to be highlighted any longer. -- In order to do this, we need to internally deselect any selected items -- during disable_select and then enable all these items again -- during enable_select. set_accept_cursor (a_cursor: like accept_cursor) -- Set a_cursor to be displayed when the screen pointer is over a -- target that accepts `pebble` during pick and drop. -- (from EV_PICK_AND_DROPABLE_I) set_actual_drop_target_agent (an_agent: like actual_drop_target_agent) -- Assign an_agent to `actual_drop_target_agent`. -- (from EV_WIDGET_I) require -- from EV_WIDGET_I an_agent_not_void: an_agent /= Void ensure -- from EV_WIDGET_I assigned: actual_drop_target_agent = an_agent set_background_color (color: EV_COLOR) -- Make color the new `background_color` require -- from EV_COLORIZABLE_I a_color_not_void: color /= Void ensure -- from EV_COLORIZABLE_I background_color_assigned: is_initialized implies background_color.is_equal (color) wel_set_background_color (a_color: WEL_COLOR_REF) -- Assign a_color to background of Current. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW a_color_not_void: a_color /= Void set_capture -- Set the mouse capture to the Current window. -- Once the window has captured the mouse, all -- mouse input is directed to this window, regardless -- of whether the cursor is over that window. Only -- one window can have the mouse capture at a time. -- -- Works only for windows in the same thread as your -- application. -- (from WEL_WINDOW) require -- from EV_PICK_AND_DROPABLE_IMP True require -- from EV_DOCKABLE_SOURCE_IMP True require -- from EV_LIST_ITEM_LIST_IMP True require -- from WEL_WINDOW exists: exists has_not_capture: not wel_has_capture set_cell_text (isub_item, iitem: INTEGER_32; txt: READABLE_STRING_GENERAL) -- Set the label of the cell with coordinates isub_item, `item` -- with txt. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists isub_item_large_enough: isub_item >= 0 iitem_large_enough: iitem >= 0 isub_item_small_enough: isub_item < column_count iitem_small_enough: iitem < wel_count txt_not_void: txt /= Void set_column_format (index: INTEGER_32; fmt: INTEGER_32) -- Set the alignment of the column, cannot be used for -- the first column that must be left aligned. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: index > 0 index_small_enough: index < column_count good_format: valid_lvcfmt_constant (fmt) set_column_title (txt: READABLE_STRING_GENERAL; index: INTEGER_32) -- Make txt the new title of the `index`-th column. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists txt_not_void: txt /= Void index_large_enough: index >= 0 index_small_enough: index < column_count set_column_width (value, index: INTEGER_32) -- Make value the new width of the zero-base `index`-th column. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: index >= 0 index_small_enough: index < column_count set_configurable_target_menu_handler (a_handler: like configurable_target_menu_handler) -- Set Configurable Target Menu Handler to a_handler. -- (from EV_PICK_AND_DROPABLE_I) set_configurable_target_menu_mode -- Set transport mechanism to a configurable target_menu. -- (from EV_PICK_AND_DROPABLE_I) ensure -- from EV_PICK_AND_DROPABLE_I mode_is_target_menu: mode_is_configurable_target_menu set_default_key_processing_handler (a_handler: like default_key_processing_handler) -- Assign `default_key_processing_handler` to a_handler. -- (from EV_WIDGET_I) set_deny_cursor (a_cursor: like deny_cursor) -- Set a_cursor to be displayed when the screen pointer is over a -- target that doesn't accept `pebble` during pick and drop. -- (from EV_PICK_AND_DROPABLE_I) set_drag_and_drop_mode -- Set transport mechanism to drag and drop, -- (from EV_PICK_AND_DROPABLE_I) ensure -- from EV_PICK_AND_DROPABLE_I mode_is_drag_and_drop: mode_is_drag_and_drop set_ex_style (an_ex_style: INTEGER_32) -- Set an_ex_style with `ex_style`. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists set_extended_view_style (a_new_style: INTEGER_32) -- Sets extended styles in list view controls. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW function_supported: Comctl32_version >= Version_470 set_focus -- Set the focus to Current -- (from WEL_WINDOW) require -- from EV_WIDGET_I True require -- from WEL_WINDOW exists: exists set_foreground_color (color: EV_COLOR) -- Make color the new `foreground_color` require -- from EV_COLORIZABLE_I a_color_not_void: color /= Void ensure -- from EV_COLORIZABLE_I foreground_color_assigned: is_initialized implies foreground_color.is_equal (color) set_image_list (an_imagelist: detachable WEL_IMAGE_LIST) -- Set the current "large" image list to an_imagelist. -- If an_imagelist is set to Void, it removes -- the current associated image list (if any). -- (from WEL_LIST_VIEW) set_item_count (value: INTEGER_32) -- Prepares a list view control for adding a large number -- of items and make it then faster. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists value_big_enough: value >= 0 set_item_state (index, state: INTEGER_32) -- Set state of item at `index` with state. -- See class WEL_LVIS_CONSTANTS for possible state values. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: index >= 0 index_small_enough: index < wel_count set_pebble (a_pebble: ANY) -- Assign a_pebble to `pebble`. -- (from EV_PICK_AND_DROPABLE_I) require -- from EV_PICK_AND_DROPABLE_I a_pebble_not_void: a_pebble /= Void ensure -- from EV_PICK_AND_DROPABLE_I pebble_assigned: pebble = a_pebble is_transport_enabled: is_transport_enabled set_pebble_function (a_function: FUNCTION [detachable ANY]) -- Assign a_function to `pebble_function`. -- (from EV_PICK_AND_DROPABLE_I) require -- from EV_PICK_AND_DROPABLE_I a_function_not_void: a_function /= Void ensure -- from EV_PICK_AND_DROPABLE_I pebble_function_assigned: pebble_function = a_function is_transport_enabled: is_transport_enabled set_pebble_position (a_x, a_y: INTEGER_32) -- Set the initial position for pick and drop relative to Current. -- (from EV_PICK_AND_DROPABLE_I) ensure -- from EV_PICK_AND_DROPABLE_I pick_x_assigned: pick_x.to_integer_32 = a_x pick_y_assigned: pick_y.to_integer_32 = a_y set_pick_and_drop_mode -- Set transport mechanism to pick and drop, -- (from EV_PICK_AND_DROPABLE_I) ensure -- from EV_PICK_AND_DROPABLE_I mode_is_pick_and_drop: mode_is_pick_and_drop set_pixmaps_size (a_width: INTEGER_32; a_height: INTEGER_32) -- Set the size of displayed pixmaps in Current to -- a_width by a_height. -- (from EV_ITEM_PIXMAP_SCALER_I) ensure -- from EV_ITEM_PIXMAP_SCALER_I width_set: pixmaps_width = a_width height_set: pixmaps_height = a_height set_real_source (dockable_source: EV_DOCKABLE_SOURCE) -- Set dockable_source to be the widget moved when a -- drag begins on Current. -- (from EV_DOCKABLE_SOURCE_I) require -- from EV_DOCKABLE_SOURCE_I is_dockable: is_dockable dockable_source_not_void: dockable_source /= Void ensure -- from EV_DOCKABLE_SOURCE_I real_source_assigned: real_source = dockable_source set_real_target (a_target: EV_DOCKABLE_TARGET) -- Assign a_target to `real_target`. -- (from EV_WIDGET_I) require -- from EV_WIDGET_I target_not_void: a_target /= Void ensure -- from EV_WIDGET_I assigned: real_target = a_target set_shared -- Set `shared` to True. -- (from WEL_ANY) ensure -- from WEL_ANY shared: shared set_small_image_list (an_imagelist: detachable WEL_IMAGE_LIST) -- Set the current "small" image list to an_imagelist. -- If an_imagelist is set to Void, it removes -- the current associated image list (if any). -- (from WEL_LIST_VIEW) set_style (a_style: INTEGER_32) -- Set `style` with a_style. -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists set_target_menu_mode -- Set transport mechanism to a target_menu. -- (from EV_PICK_AND_DROPABLE_I) ensure -- from EV_PICK_AND_DROPABLE_I mode_is_target_menu: mode_is_target_menu set_text_background_color (a_color: WEL_COLOR_REF) -- Assign a_color to background color of item text. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW a_color_not_void: a_color /= Void set_text_foreground_color (a_color: WEL_COLOR_REF) -- Assign a_color to foreground color for item text. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW a_color_not_void: a_color /= Void set_unshared -- Set `shared` to False. -- (from WEL_ANY) ensure -- from WEL_ANY unshared: not shared show -- Show Current. -- Need to notify the parent. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_I True require -- from WEL_WINDOW exists: exists show_configurable_target_menu (a_x, a_y: INTEGER_32) -- Show the configurable target menu at position a_x, a_y relative to Current. -- (from EV_PICK_AND_DROPABLE_I) update_cached_style (new_ex_style, old_ex_style: INTEGER_32) -- Update Window cache buffer for Window style. -- (from WEL_WINDOW) update_item (index: INTEGER_32) -- Update the list view. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: index >= 0 index_small_enough: index < wel_count user_disable_sensitive -- Make object desensitive to user input. -- (from EV_SENSITIVE_I) ensure -- from EV_SENSITIVE_I is_desensitive: not user_is_sensitive user_enable_sensitive -- Make object sensitive to user input. -- (from EV_SENSITIVE_I) ensure -- from EV_SENSITIVE_I is_sensitive_if_parent_sensitive: (has_parent and then parent_is_sensitive) implies attached_interface.implementation.is_sensitive is_sensitive_if_orphaned: not has_parent implies attached_interface.implementation.is_sensitive feature -- Cursor movement back -- Move to previous item. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I not_before: index > 0 forth -- Move cursor to next position. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I not_after: index <= count go_i_th (i: INTEGER_32) -- Move cursor to i-th position. -- (from EV_DYNAMIC_LIST_I) go_to (p: CURSOR) -- Move cursor to position p. -- (from EV_DYNAMIC_LIST_I) move (i: INTEGER_32) -- Move cursor i positions. -- (from EV_DYNAMIC_LIST_I) start -- Move cursor to first position. -- (from EV_DYNAMIC_LIST_I) ensure -- from EV_DYNAMIC_LIST_I index_on_first: index = 1 feature -- Element change append (s: SEQUENCE [EV_LIST_ITEM]) -- Append a copy of s. Do not move cursor. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I sequence_not_void: s /= Void ensure -- from EV_DYNAMIC_LIST_I count_increased: old count + s.count = count append_column (column: WEL_LIST_VIEW_COLUMN) -- Append column to the list view. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists column_not_void: column /= Void column_exists: column.exists ensure -- from WEL_LIST_VIEW new_column_count: column_count = old column_count + 1 delete_column (index: INTEGER_32) -- Remove the zero-based `index`-th column of the list view. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: index >= 0 index_small_enough: index < column_count ensure -- from WEL_LIST_VIEW new_column_count: column_count = old column_count - 1 delete_item (index: INTEGER_32) -- Remove the zero-based `index`-th item of the list view. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists index_large_enough: index >= 0 index_small_enough: index < wel_count ensure -- from WEL_LIST_VIEW new_count: wel_count = old wel_count - 1 disable_redraw -- Disable redrawing of Current until next call to `enable_redraw`. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists enable_redraw -- Ensure Current is redrawn as required. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists extend (v: like item) -- Add v to end. Do not move cursor. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I v_not_void: v /= Void ensure -- from EV_DYNAMIC_LIST_I has_v: has (v) has_system_window_locked: BOOLEAN -- Is there any window locked ? -- (from WEL_WINDOW) insert_column (column: WEL_LIST_VIEW_COLUMN; index: INTEGER_32) -- Insert column at the zero-based `index`. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists column_not_void: column /= Void column_exists: column.exists index_large_enough: index >= 0 index_small_enough: index <= column_count ensure -- from WEL_LIST_VIEW new_column_count: column_count = old column_count + 1 wel_insert_item (an_item: WEL_LIST_VIEW_ITEM) -- Insert `item` in the list-view. The zero-based position of the item is -- given by the iitem attribute of the item. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists an_item_not_void: an_item /= Void an_item_exists: an_item.exists index_large_enough: an_item.iitem >= 0 index_small_enough: an_item.iitem <= wel_count ensure -- from WEL_LIST_VIEW new_count: wel_count = old wel_count + 1 lock_window_update -- Disables drawing in the current window. A locked window cannot be moved. -- Only one window can be locked at a time. To unlock a window locked with -- `lock_window_update` , call 'unlock_window_update'. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW has_system_window_locked merge_left (other: like attached_interface) -- Merge other into current structure before cursor -- position. Do not move cursor. Empty other. -- (from EV_DYNAMIC_LIST_I) merge_right (other: like attached_interface) -- Merge other into current structure after cursor -- position. Do not move cursor. Empty other. -- (from EV_DYNAMIC_LIST_I) prepend_column (column: WEL_LIST_VIEW_COLUMN) -- Prepend column to the list view. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists column_not_void: column /= Void column_exists: column.exists ensure -- from WEL_LIST_VIEW new_column_count: column_count = old column_count + 1 put_front (v: like item) -- Add v at beginning. Do not move cursor. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I v_not_void: v /= Void ensure -- from EV_DYNAMIC_LIST_I has_v: has (v) put_i_th (v: like item; i: INTEGER_32) -- Replace item at i-th position by v. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I valid_index: i > 0 and i <= count v_not_void: v /= Void ensure -- from EV_DYNAMIC_LIST_I has_v: has (v) put_left (v: like item) -- Add v to the left of cursor position. Do not move cursor. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I v_not_void: v /= Void ensure -- from EV_DYNAMIC_LIST_I has_v: has (v) put_right (v: like item) -- Add v to the right of cursor position. Do not move cursor. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I v_not_void: v /= Void ensure -- from EV_DYNAMIC_LIST_I has_v: has (v) remove_help_context -- Remove key press action associated with EV_APPLICATION.help_key. -- (from EV_HELP_CONTEXTABLE_I) require -- from EV_HELP_CONTEXTABLE_I help_context_not_void: help_context /= Void ensure -- from EV_HELP_CONTEXTABLE_I no_help_context: internal_help_context = Void replace (v: like item) -- Replace current item by v. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I writable: index > 0 and then index <= count v_not_void: v /= Void ensure -- from EV_DYNAMIC_LIST_I has_v: has (v) wel_replace_item (an_item: WEL_LIST_VIEW_ITEM) -- Set the properties of an_item. -- The zero-based position of the item is given by the -- iitem attribute of the item. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists an_item_not_void: an_item /= Void an_item_exists: an_item.exists index_large_enough: an_item.iitem >= 0 index_small_enough: an_item.iitem <= wel_count reset_content -- Reset the content of the list. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists ensure -- from WEL_LIST_VIEW new_count: wel_count = 0 set_default_colors -- Set foreground and background color to their default values. -- (from EV_WIDGET_IMP) require -- from EV_COLORIZABLE_I True wel_set_font (a_font: WEL_FONT) -- Set font with a_font. -- (from WEL_CONTROL) require -- from WEL_CONTROL exists: exists a_font_not_void: a_font /= Void a_font_exists: a_font.exists ensure -- from WEL_CONTROL font_set: not has_system_font implies wel_font.item = a_font.item set_help_context (an_help_context: like help_context) -- Assign a_help_context to `help_context`. -- Assign an_help_context to `help_context`. -- (from EV_HELP_CONTEXTABLE_I) require -- from EV_HELP_CONTEXTABLE_I an_help_context_not_void: an_help_context /= Void ensure -- from EV_HELP_CONTEXTABLE_I help_context_assigned: attached help_context as l_help_context and then l_help_context ~ an_help_context set_item (an_item: POINTER) -- Set `item` with an_item -- (from WEL_ANY) ensure -- from WEL_ANY item_set: wel_item = an_item wel_set_parent (a_parent: detachable WEL_WINDOW) -- Change the parent of the current window. -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP exists: exists require -- from WEL_WINDOW exists: exists set_parent_imp (par_imp: detachable EV_CONTAINER_IMP) -- Make par the new parent of the widget. -- par can be Void then the parent is the -- default_parent. -- (from EV_PRIMITIVE_IMP) set_placement (a_placement: WEL_WINDOW_PLACEMENT) -- Set `placement` with a_placement -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists a_placement_not_void: a_placement /= Void a_placement_exists: a_placement.exists set_text (a_text: detachable READABLE_STRING_GENERAL) -- Set the window text -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW text_set_when_not_void: a_text /= Void implies text.same_string_general (a_text) text_set_when_void: a_text = Void implies text.count = 0 set_timer (timer_id, time_out: INTEGER_32) -- Set a timer identified by timer_id with a -- time_out value (in milliseconds). -- See also `on_timer`, `kill_timer`. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists positive_timer_id: timer_id > 0 positive_time_out: time_out > 0 set_tooltip (a_tooltip: READABLE_STRING_GENERAL) -- Assign a_tooltip to `tooltip`. -- (from EV_WEL_TOOLTIPABLE) require -- from EV_TOOLTIPABLE_I a_tooltip_not_void: a_tooltip /= Void set_top_level_window_imp (a_window: detachable EV_WINDOW_IMP) -- Make a_window the new `top_level_window_imp` -- of Current. -- (from EV_PRIMITIVE_IMP) set_x (a_x: INTEGER_32) -- Set x with a_x -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists set_y (a_y: INTEGER_32) -- Set y with a_y -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists unlock_window_update -- Unlock a locked window. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists feature -- Removal wel_destroy -- Destroy the window. -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW not_exists: not exists dispose -- Free allocated memory. -- (from WEL_WINDOW) require -- from DISPOSABLE True prune (v: like item) -- Remove v if present. Do not move cursor, except if -- cursor was on v, move to right neighbor. -- (from EV_DYNAMIC_LIST_I) ensure -- from EV_DYNAMIC_LIST_I cursor_not_moved: not old has (v) implies old attached_interface.index = attached_interface.index cursor_not_moved: old has (v) and then old attached_interface.index < old index_of (v, 1) implies index = old index cursor_not_moved: old has (v) and then old attached_interface.index >= old index_of (v, 1) implies index = old index - 1 not_has_v: not has (v) remove -- Remove current item. Move cursor to right neighbor -- (or after if no right neighbor). -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I writable: not off ensure -- from EV_DYNAMIC_LIST_I not_has_v: not has (old item) remove_left -- Remove item to the left of cursor position. -- Do not move cursor. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I left_exists: index > 1 not_before: not (index = 0) ensure then -- from EV_DYNAMIC_LIST_I left_neighbor_removed: not has (old i_th (index - 1)) remove_right -- Remove item to the right of cursor position. -- Do not move cursor. -- (from EV_DYNAMIC_LIST_I) require -- from EV_DYNAMIC_LIST_I right_exists: index < count ensure then -- from EV_DYNAMIC_LIST_I right_neighbor_removed: not has (old i_th (index + 1)) feature -- Resizing reset_minimum_height -- Reset the minimum height. -- (from EV_SIZEABLE_IMP) require -- from EV_WIDGET_I True reset_minimum_size -- Reset the minimum size (width and height). -- (from EV_SIZEABLE_IMP) require -- from EV_WIDGET_I True reset_minimum_width -- Reset the minimum width. -- (from EV_SIZEABLE_IMP) require -- from EV_WIDGET_I True set_height (value: INTEGER_32) -- Make value the new height of Current. -- (from EV_SIZEABLE_IMP) require -- from WEL_WINDOW exists: exists require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed set_minimum_height (value: INTEGER_32) -- Make value the new `minimum_height` of Current. -- There is no need to grow Current if its size is -- too small, the parent will do it if necessary. -- (from EV_SIZEABLE_IMP) require -- from EV_WIDGET_I a_minimum_height_positive: value >= 0 require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed ensure -- from EV_WIDGET_I minimum_height_assigned: is_usable implies ((value > 0 implies attached_interface.minimum_height = value) or (value = 0 implies (attached_interface.minimum_height <= 1))) set_minimum_size (mw, mh: INTEGER_32) -- Make mw the new minimum_width and mh the new -- minimum_height of Current. -- (from EV_SIZEABLE_IMP) require -- from EV_WIDGET_I a_minimum_width_positive: mw >= 0 a_minimum_height_positive: mh >= 0 require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed ensure -- from EV_WIDGET_I minimum_width_assigned: is_usable implies ((mw > 0 implies attached_interface.minimum_width = mw) or (mw = 0 implies (attached_interface.minimum_width <= 1))) minimum_height_assigned: is_usable implies ((mh > 0 implies attached_interface.minimum_height = mh) or (mh = 0 implies (attached_interface.minimum_height <= 1))) set_minimum_width (value: INTEGER_32) -- Make value the new `minimum_width` of Current. -- There is no need to grow Current if its size is -- too small, the parent will do it if necessary. -- (from EV_SIZEABLE_IMP) require -- from EV_WIDGET_I a_minimum_width_positive: value >= 0 require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed ensure -- from EV_WIDGET_I minimum_width_assigned: is_usable implies ((value > 0 implies attached_interface.minimum_width = value) or (value = 0 implies (attached_interface.minimum_width <= 1))) set_size (w, h: INTEGER_32) -- Resize Current. -- (from EV_SIZEABLE_IMP) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed set_width (value: INTEGER_32) -- Make value the new width of Current. -- (from EV_SIZEABLE_IMP) require -- from WEL_WINDOW exists: exists require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed feature -- Conversion key_code_from_wel (a_wel_code: INTEGER_32): INTEGER_32 -- Corresponding key code for a_wel_code. -- (from EV_WEL_KEY_CONVERSION) require -- from EV_WEL_KEY_CONVERSION a_wel_code_valid: valid_wel_code (a_wel_code) key_code_to_wel (a_key_code: INTEGER_32): INTEGER_32 -- Corresponding WEL code for a_key_code. -- (from EV_WEL_KEY_CONVERSION) require -- from EV_WEL_KEY_CONVERSION a_key_code_valid: valid_key_code (a_key_code) feature -- Duplication copy (other: EV_LIST_IMP) -- Update current object using fields of object attached -- to other, so as to yield equal objects. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_equal: Current ~ other frozen deep_copy (other: EV_LIST_IMP) -- Effect equivalent to that of: -- `copy` (other . `deep_twin`) -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY deep_equal: deep_equal (Current, other) frozen deep_twin: EV_LIST_IMP -- New object structure recursively duplicated from Current. -- (from ANY) ensure -- from ANY deep_twin_not_void: Result /= Void deep_equal: deep_equal (Current, Result) frozen standard_copy (other: EV_LIST_IMP) -- Copy every field of other onto corresponding field -- of current object. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_standard_equal: standard_is_equal (other) frozen standard_twin: EV_LIST_IMP -- New object field-by-field identical to other. -- Always uses default copying semantics. -- (from ANY) ensure -- from ANY standard_twin_not_void: Result /= Void equal: standard_equal (Result, Current) frozen twin: EV_LIST_IMP -- New object equal to Current -- `twin` calls `copy`; to change copying/twinning semantics, redefine `copy`. -- (from ANY) ensure -- from ANY twin_not_void: Result /= Void is_equal: Result ~ Current feature -- Miscellaneous Cw_usedefault: INTEGER_32 = -2147483648 -- Declared in Windows as CW_USEDEFAULT -- (from WEL_WS_CONSTANTS) feature -- Basic operations bring_to_top -- Bring this window to the top of the Z order. -- -- Note: --  * If the window is a top-level window, it is activated. --  * If the window is a child window, the top-level parent window --    associated with the child window is activated. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists clear_flag (flags, mask: INTEGER_32): INTEGER_32 -- Clear the mask in flags -- (from WEL_BIT_OPERATIONS) ensure -- from WEL_BIT_OPERATIONS flag_unset: not flag_set (Result, mask) close_dockable_dialog (dockable_dialog: EV_DOCKABLE_DIALOG) -- Close request received by dockable_dialog so -- restore widget contained back to its original position -- in its old parent if possible. -- We must fire dock_ended actions. -- (from EV_DOCKABLE_SOURCE_I) ensure -- from EV_DOCKABLE_SOURCE_I dockable_dialog_destroyed: dockable_dialog.is_destroyed complete_dock -- Complete a dock from `source_being_docked`. -- (from EV_DOCKABLE_SOURCE_I) require -- from EV_DOCKABLE_SOURCE_I source_being_docked: source_being_docked /= Void ensure -- from EV_DOCKABLE_SOURCE_I not_dock_executing: not is_dock_executing insert_separator_not_parented: Insert_sep.parent = Void insert_label_not_parented: Insert_label.parent = Void cwin_hi_word (value: POINTER): INTEGER_32 -- SDK HIWORD -- (from WEL_WORD_OPERATIONS) cwin_lo_word (value: POINTER): INTEGER_32 -- SDK LOWORD -- (from WEL_WORD_OPERATIONS) cwin_make_long (low, high: INTEGER_32): POINTER -- SDK MAKELONG -- (from WEL_WORD_OPERATIONS) cwin_make_lparam (low, high: INTEGER_32): POINTER -- SKD MAKELPARAM -- (from WEL_WORD_OPERATIONS) frozen default: detachable EV_LIST_IMP -- Default value of object's type -- (from ANY) frozen default_pointer: POINTER -- Default value of type POINTER -- (Avoid the need to write p.`default` for -- some p of type POINTER.) -- (from ANY) ensure -- from ANY instance_free: class default_process_notification (notification_code: INTEGER_32) -- Process a notification_code which has not been -- processed by `process_notification`. -- (from WEL_CONTROL) require -- from WEL_CONTROL exists: exists default_rescue -- Process exception for routines with no Rescue clause. -- (Default: do nothing.) -- (from ANY) disable_horizontal_scroll_bar -- Disable the horizontal scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists disable_vertical_scroll_bar -- Disable the vertical scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists frozen do_nothing -- Execute a null action. -- (from ANY) ensure -- from ANY instance_free: class eif_current_object_id: INTEGER_32 -- New identifier for Current -- (from IDENTIFIED_ROUTINES) ensure -- from IDENTIFIED_ROUTINES eif_current_object_id: Result > 0 inserted: eif_is_object_id_of_current (Result) eif_id_any_object (an_id: INTEGER_32): detachable ANY -- Object associated with an_id -- (from IDENTIFIED_ROUTINES) require -- from IDENTIFIED_ROUTINES an_id_non_negative: an_id >= 0 ensure -- from IDENTIFIED_ROUTINES instance_free: class eif_is_object_id_of_current (an_id: INTEGER_32): BOOLEAN -- Is an_id the associated object ID of Current. -- (from IDENTIFIED_ROUTINES) require -- from IDENTIFIED_ROUTINES an_id_non_negative: an_id >= 0 eif_object_id (an_object: ANY): INTEGER_32 -- New identifier for an_object -- (from IDENTIFIED_ROUTINES) ensure -- from IDENTIFIED_ROUTINES instance_free: class eif_object_id_positive: Result > 0 inserted: eif_id_any_object (Result) = an_object eif_object_id_free (an_id: INTEGER_32) -- Free the entry an_id -- (from IDENTIFIED_ROUTINES) require -- from IDENTIFIED_ROUTINES an_id_non_negative: an_id >= 0 ensure -- from IDENTIFIED_ROUTINES instance_free: class removed: eif_id_any_object (an_id) = Void enable_horizontal_scroll_bar -- Enable the horizontal scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists enable_vertical_scroll_bar -- Enable the vertical scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists go_to_next_group_item (a_parent: WEL_COMPOSITE_WINDOW; after: BOOLEAN) -- Find the previous or following control with the -- Wm_tabstop style in the current group in a_parent -- depending on the value of after. -- (from WEL_CONTROL) require -- from WEL_CONTROL valid_parent: a_parent /= Void and then a_parent.exists go_to_next_tab_item (a_parent: WEL_COMPOSITE_WINDOW; after: BOOLEAN) -- Find the previous or following control with the -- Wm_tabstop style in `a_parent depending on the -- value of after. -- (from WEL_CONTROL) require -- from WEL_CONTROL valid_parent: a_parent /= Void and then a_parent.exists hide_cursor -- Hide the cursor. -- (from WEL_WINDOWS_ROUTINES) hide_horizontal_scroll_bar -- Hide the horizontal scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists hide_scroll_bars -- Hide the horizontal and vertical scroll bars. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists hide_vertical_scroll_bar -- Hide the vertical scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists insert_after (a_window: WEL_WINDOW) -- Insert the current window after a_window. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists a_window_not_void: a_window /= Void a_window_not_current: a_window /= Current a_window_exists: a_window.exists invalidate -- Invalide the entire client area of the window. The -- background will be erased before. -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists invalidate_rect (rect: WEL_RECT; erase_background: BOOLEAN) -- Invalidate the area rect and erase -- the background if erase_background is True. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists rect_not_void: rect /= Void rect_exists: rect.exists invalidate_region (region: WEL_REGION; erase_background: BOOLEAN) -- Invalidate the area region and erase -- the background if erase_background is True. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists region_not_void: region /= Void region_exists: region.exists invalidate_without_background -- Invalidate the entire client area of the window. The -- background will not be erased. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists kill_timer (timer_id: INTEGER_32) -- Kill the timer identified by timer_id. -- See also `set_timer`, `on_timer`. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists positive_timer_id: timer_id > 0 message_beep_asterisk -- Play the system asterisk waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_exclamation -- Play the system exclamation waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_hand -- Play the system hand waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_ok -- Play the system ok waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_question -- Play the system question waveform sound. -- (from WEL_WINDOWS_ROUTINES) wel_move (a_x, a_y: INTEGER_32) -- Move the window to a_x, a_y. -- (from WEL_WINDOW) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed require -- from WEL_WINDOW exists: exists wel_move_and_resize (a_x, a_y, a_width, a_height: INTEGER_32; repaint: BOOLEAN) -- Move the window to a_x, a_y position and -- resize it with a_width, a_height. -- (from WEL_WINDOW) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed require -- from WEL_WINDOW exists: exists on_getdlgcode -- Called when window receives WM_GETDLGCODE message. -- (from EV_PRIMITIVE_IMP) require -- from WEL_WINDOW True output_debug_string (s: READABLE_STRING_GENERAL) -- Send a string s to the system debugger. -- (from WEL_WINDOWS_ROUTINES) require -- from WEL_WINDOWS_ROUTINES s_not_void: s /= Void put_command (a_command: WEL_COMMAND; message: INTEGER_32; argument: detachable ANY) -- Put a_command associated to message. -- (from WEL_WINDOW) require -- from WEL_WINDOW a_command_not_void: a_command /= Void positive_message: message >= 0 ensure -- from WEL_WINDOW command_added: command (message) = a_command and command_argument (message) = argument remove_command (message: INTEGER_32) -- Remove the command associated to message. -- (from WEL_WINDOW) require -- from WEL_WINDOW positive_message: message >= 0 command_exists: command_exists (message) ensure -- from WEL_WINDOW command_removed: not command_exists (message) wel_resize (a_width, a_height: INTEGER_32) -- Resize the window with a_width, a_height. -- (from WEL_WINDOW) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed require -- from WEL_WINDOW exists: exists resource_string_id (an_id: INTEGER_32): STRING_32 -- String identified by an_id in the resource file. -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES result_not_void: Result /= Void scroll (a_x, a_y: INTEGER_32) -- Scroll the contents of the window's client area. -- a_x and a_y specify the amount of horizontal -- and vertical scrolling. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists set_class_icon (new_icon: WEL_ICON) -- Replace the current icon for the class which this window -- belongs to. -- -- The SetClassLong function replaces the specified 32-bit (long) -- value at the specified offset into the extra class memory -- or the WNDCLASSEX structure for the class to which the -- specified window belongs. -- (from WEL_WINDOW) require -- from WEL_WINDOW new_icon_not_void: new_icon /= Void new_icon_exists: new_icon.exists set_class_small_icon (new_icon: WEL_ICON) -- Replace the current icon for the class which this window -- belongs to. -- -- The SetClassLong function replaces the specified 32-bit (long) -- value at the specified offset into the extra class memory -- or the WNDCLASSEX structure for the class to which the -- specified window belongs. -- (from WEL_WINDOW) require -- from WEL_WINDOW new_icon_not_void: new_icon /= Void new_icon_exists: new_icon.exists set_cursor_position_absolute (x, y: INTEGER_32) -- Set the cursor position to x, y. -- (from WEL_WINDOWS_ROUTINES) set_flag (flags, mask: INTEGER_32): INTEGER_32 -- Set the mask in flags -- (from WEL_BIT_OPERATIONS) ensure -- from WEL_BIT_OPERATIONS flag_set: flag_set (Result, mask) set_z_order (z_order: POINTER) -- Set the z-order of the window. -- See class WEL_HWND_CONSTANTS for z_order values. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists valid_hwnd_constant: valid_hwnd_constant (z_order) show_cursor -- Show the cursor. -- (from WEL_WINDOWS_ROUTINES) show_horizontal_scroll_bar -- Show the horizontal scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists show_scroll_bars -- Show the horizontal and vertical scroll bars. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists show_vertical_scroll_bar -- Show the vertical scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists show_with_option (cmd_show: INTEGER_32) -- Set the window's visibility with cmd_show. -- See class WEL_SW_CONSTANTS for cmd_show value. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists parent_shown: attached wel_parent as l_parent implies l_parent.exists and l_parent.shown tooltip_window: detachable WEL_WINDOW -- Result is WEL_WINDOW of Current used -- to trigger tooltip events. May be redefined in -- descendents that are composed of more than one window -- such as combo boxes. -- (from EV_PRIMITIVE_IMP) update -- Update the client area by sending a Wm_paint message. -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True require -- from WEL_WINDOW exists: exists validate -- Validate the entire client area of the window. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists validate_rect (rect: WEL_RECT) -- Validate the area rect. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists rect_not_void: rect /= Void rect_exists: rect.exists validate_region (region: WEL_REGION) -- Validate the area region. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists region_not_void: region /= Void region_exists: region.exists win_help_from_path (help_path: PATH; a_command, data: INTEGER_32) -- Start the Windows Help program with help_path. -- a_command specifies the type of help requested. See -- class WEL_HELP_CONSTANTS for a_command values. -- 'data' is depandant on 'a_command'.  Check MSDN for more details. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists help_file_not_void: help_path /= Void feature -- Obsolete Nc_minheight: INTEGER_32 = 2 -- Used only in the notify_change feature to -- notify the parent that the minimum height of -- Current has changed. -- (from EV_SIZEABLE_IMP) Nc_minsize: INTEGER_32 = 3 -- Used only in the notify_change feature to -- notify the parent that both the minimum width -- and height of Current widget have changed. -- (from EV_SIZEABLE_IMP) Nc_minwidth: INTEGER_32 = 1 -- Used only in the notify_change feature to -- notify the parent that the minimum width of -- Current has changed. -- (from EV_SIZEABLE_IMP) feature -- Inapplicable Drag_cursor: EV_POINTER_STYLE -- Cursor used when Current is being transported. -- (from EV_DOCKABLE_SOURCE_I) feature -- Implementation background_color_internal: EV_COLOR -- Color used for the background of Current. -- This has been redefined as the background color of -- text components is white, or Color_read_write by default. require -- from EV_COLORIZABLE_I True Default_style: INTEGER_32 -- Default style of Current. require -- from WEL_WINDOW True require -- from EV_WIDGET_IMP True destroy -- Destroy Current. require -- from EV_ANY_I True ensure -- from EV_ANY_I is_in_destroy_set: is_in_destroy is_destroyed_set: is_destroyed escape_pnd -- Escape the pick and drop. -- (from EV_PICK_AND_DROPABLE_ITEM_HOLDER_IMP) require -- from EV_PICK_AND_DROPABLE_IMP True ensure -- from EV_PICK_AND_DROPABLE_IMP not_in_transport: not transport_executing internal_disable_dockable -- Enable or disable dockable. -- This has no implementation on Windows, as we do not need it. -- On Gtk, this is necessary, so that the necessary signal -- connections may be performed. -- Was declared in {EV_DOCKABLE_SOURCE_IMP} as synonym of `internal_enable_dockable`. -- (from EV_DOCKABLE_SOURCE_IMP) require -- from EV_DOCKABLE_SOURCE_I True internal_enable_dockable -- Enable or disable dockable. -- This has no implementation on Windows, as we do not need it. -- On Gtk, this is necessary, so that the necessary signal -- connections may be performed. -- Was declared in {EV_DOCKABLE_SOURCE_IMP} as synonym of `internal_disable_dockable`. -- (from EV_DOCKABLE_SOURCE_IMP) require -- from EV_DOCKABLE_SOURCE_I True is_control_in_window (hwnd_control: POINTER): BOOLEAN -- Is the control of handle hwnd_control -- located inside the current window? -- (from EV_PRIMITIVE_IMP) on_lvn_itemchanged (info: WEL_NM_LIST_VIEW) -- An item has changed. require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_size (size_type, a_width, a_height: INTEGER_32) -- Current resized. require -- from EV_WIDGET_IMP exists: exists require -- from WEL_WINDOW exists: exists pnd_press (a_x, a_y, a_button, a_screen_x, a_screen_y: INTEGER_32) -- Process a_button to start/stop the drag/pick and -- drop mechanism. -- (from EV_PICK_AND_DROPABLE_ITEM_HOLDER_IMP) require -- from EV_PICK_AND_DROPABLE_IMP True set_default_minimum_size -- Called after creation. Set the current size and -- notify the parent. wipe_out -- Remove all items. -- Redefined for speed optimization. feature -- "Shell and Common controls" Versions Comctl32_version: INTEGER_32 -- Version of Comctl32.dll -- (from WEL_WINDOWS_VERSION) Shell32_version: INTEGER_32 -- Version of Shell32.dll -- (from WEL_WINDOWS_VERSION) Shlwapi_version: INTEGER_32 -- Version of Shlwapi.dll -- (from WEL_WINDOWS_VERSION) feature -- Access (ILD constants) Ild_normal: INTEGER_32 = 0 -- Draws the image using the background color for the image -- list. If the background color is the CLR_NONE value, the -- image is drawn transparently using the mask. -- -- Declared in Windows as ILD_NORMAL -- (from WEL_ILC_CONSTANTS) feature -- Access EV_DRAGABLE_SOURCE. dockable_dialog_target: detachable EV_DOCKABLE_DIALOG -- A dockable dialog that will be created as -- necessary. This is not a local, to avoid it -- being garbage collected. -- (from EV_SHARED_TRANSPORT_I) Global_drag_targets: ARRAYED_LIST [INTEGER_32] -- Shortcut to EV_APPLICATION.pnd_targets. -- (from EV_SHARED_TRANSPORT_I) frozen Insert_label: EV_CELL -- Label used to indicate where Current will be placed in target. -- (from EV_SHARED_TRANSPORT_I) ensure -- from EV_SHARED_TRANSPORT_I result_not_void: Result /= Void Insert_label_imp: EV_CELL_I -- Once access to implementation of `insert_label`. -- (from EV_SHARED_TRANSPORT_I) ensure -- from EV_SHARED_TRANSPORT_I Result /= Void Insert_sep: EV_TOOL_BAR_SEPARATOR -- Once access to a separator used to indicate the insertion position -- when moving tool bar items. -- (from EV_SHARED_TRANSPORT_I) Insert_sep_imp: EV_TOOL_BAR_SEPARATOR_I -- Once access to implementation of `insert_sep`. -- (from EV_SHARED_TRANSPORT_I) ensure -- from EV_SHARED_TRANSPORT_I Result /= Void Internal_screen: EV_SCREEN -- Once access to an EV_SCREEN. -- (from EV_SHARED_TRANSPORT_I) original_x_offset: INTEGER_16 -- Original x_offset and original_y_offset of transport -- realtive to widget. Only used for dragable transports. -- (from EV_SHARED_TRANSPORT_I) original_y_offset: INTEGER_16 -- Original x_offset and original_y_offset of transport -- realtive to widget. Only used for dragable transports. -- (from EV_SHARED_TRANSPORT_I) originating_source: detachable EV_DOCKABLE_SOURCE_I -- Dragable source that originated the transport of source_being_dragged. -- (from EV_SHARED_TRANSPORT_I) remove_insert_label -- Remove `insert_label` from its current `parent`. -- We must handle a special case for cells. If the parent is a cell, -- then we remove the cell from its parent, and then restore it. -- Otherwise, when the label, removed, the cell keeps it size, and cells -- are normally used with `real_target` when the cell must -- not be visible. -- (from EV_SHARED_TRANSPORT_I) ensure -- from EV_SHARED_TRANSPORT_I not_parented: Insert_label.parent = Void remove_insert_sep -- Ensure inset_sep is not parented. -- (from EV_SHARED_TRANSPORT_I) ensure -- from EV_SHARED_TRANSPORT_I not_parented: Insert_sep.parent = Void source_being_docked: detachable EV_DOCKABLE_SOURCE_I -- Dragable source currently being transported. May be a -- WIDGET_IMP or an EV_TOOL_BAR_BUTTON_IMP. -- (from EV_SHARED_TRANSPORT_I) feature -- Access EV_PICK_AND_DROPABLE. Default_accept_cursor: EV_POINTER_STYLE -- Used in lieu of a user defined `accept_cursor`. -- (from EV_SHARED_TRANSPORT_I) Default_deny_cursor: EV_POINTER_STYLE -- Used in lieu of a user defined `deny_cursor`. -- (from EV_SHARED_TRANSPORT_I) Default_pixmaps: EV_STOCK_PIXMAPS -- Default pixmaps -- (from EV_SHARED_TRANSPORT_I) Global_pnd_targets: HASH_TABLE [INTEGER_32, INTEGER_32] -- Shortcut to EV_APPLICATION.pnd_targets. -- (from EV_SHARED_TRANSPORT_I) rubber_band_is_drawn: BOOLEAN -- Is a rubber band line currently on the screen? -- (from EV_SHARED_TRANSPORT_I) feature -- Access common. pointer_x: INTEGER_16 -- (from EV_SHARED_TRANSPORT_I) pointer_y: INTEGER_16 -- (from EV_SHARED_TRANSPORT_I) feature -- Basic Operations refresh_now -- Refresh now. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_I True search (a_search_info: WEL_LIST_VIEW_SEARCH_INFO; a_starting_index: INTEGER_32): INTEGER_32 -- Search list view item according to a_search_info. -- Search starts after zero based index a_starting_index. -- If a_starting_index is -1 then search all items. -- Result is zero based index of found item or -1 if item was not found. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW non_void_search_info: a_search_info /= Void valid_search_info: a_search_info.exists valid_starting_index: a_starting_index >= -1 and a_starting_index < wel_count feature -- Basic operation internal_set_minimum_height (value: INTEGER_32) -- Make value the new `minimum_height` of Current. -- Should check if the user didn't set the minimum width -- before to set the new value. -- (from EV_SIZEABLE_IMP) require -- from EV_SIZEABLE_IMP positive_value: value >= 0 internal_set_minimum_size (mw, mh: INTEGER_32) -- Make mw the new minimum_width and mh the new -- minimum_height of Current. -- Should check if the user didn't set the minimum width -- before to set the new value. -- (from EV_SIZEABLE_IMP) require -- from EV_SIZEABLE_IMP positive_mw: mw >= 0 positive_mh: mh >= 0 internal_set_minimum_width (value: INTEGER_32) -- Make value the new `minimum_width` of Current. -- Should check if the user didn't set the minimum width -- before to set the new value. -- (from EV_SIZEABLE_IMP) require -- from EV_SIZEABLE_IMP positive_value: value >= 0 internal_set_size (mw, mh: INTEGER_32) -- Set size of `child_cell`. -- (from EV_SIZEABLE_IMP) require -- from EV_SIZEABLE_IMP positive_mw: mw >= 0 positive_mh: mh >= 0 parent_ask_resize (a_width, a_height: INTEGER_32) -- Called by the parent when the size of Current has to be -- changed to a_width, a_height. -- (from EV_SIZEABLE_IMP) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed set_move_and_size (a_x_position, a_y_position, a_width, a_height: INTEGER_32) -- Move and resize the widget. Only the parent can call this feature -- because it doesn't notify the parent of the change. -- Equivalent of `parent_ask_resize` with move. -- (from EV_SIZEABLE_IMP) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed feature -- Basic window types Ws_child: INTEGER_32 = 1073741824 -- Declared in Windows as WS_CHILD -- (from WEL_WS_CONSTANTS) Ws_overlapped: INTEGER_32 = 0 -- Declared in Windows as WS_OVERLAPPED -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_tiled`. -- (from WEL_WS_CONSTANTS) Ws_popup: INTEGER_32 = -2147483648 -- Declared in Windows as WS_POPUP -- (from WEL_WS_CONSTANTS) Ws_tiled: INTEGER_32 = 0 -- Declared in Windows as WS_OVERLAPPED -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_overlapped`. -- (from WEL_WS_CONSTANTS) feature -- Clipping styles Ws_clipchildren: INTEGER_32 = 33554432 -- Declared in Windows as WS_CLIPCHILDREN -- (from WEL_WS_CONSTANTS) Ws_clipsiblings: INTEGER_32 = 67108864 -- Declared in Windows as WS_CLIPSIBLINGS -- (from WEL_WS_CONSTANTS) feature -- Column Flags (Format) Lvcfmt_center: INTEGER_32 = 2 -- alignment of the column : center. -- Do not use for the first column of the list view -- that must always be left-aligned. -- -- Declared in Windows as LVCFMT_CENTER -- (from WEL_LIST_VIEW_CONSTANTS) Lvcfmt_justifymask: INTEGER_32 = 3 -- alignment of the column : justify. -- Do not use for the first column of the list view -- that must always be left-aligned. -- -- Declared in Windows as LVCFMT_JUSTIFYMASK -- (from WEL_LIST_VIEW_CONSTANTS) Lvcfmt_left: INTEGER_32 = 0 -- alignment of the column : left. -- Do not use for the first column of the list view -- that must always be left-aligned. -- -- Declared in Windows as LVCFMT_LEFT -- (from WEL_LIST_VIEW_CONSTANTS) Lvcfmt_right: INTEGER_32 = 1 -- alignment of the column : right. -- Do not use for the first column of the list view -- that must always be left-aligned. -- -- Declared in Windows as LVCFMT_RIGHT -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Column Flags (General) Lvcf_fmt: INTEGER_32 = 1 -- The fmt member is valid. -- -- Declared in Windows as LVCF_FMT -- (from WEL_LIST_VIEW_CONSTANTS) Lvcf_image: INTEGER_32 = 16 -- The ilmage member is valid -- -- Declared in Windows as LVCF_IMAGE -- (from WEL_LIST_VIEW_CONSTANTS) Lvcf_subitem: INTEGER_32 = 8 -- The iSubItem member is valid. -- -- Declared in Windows as LVCF_SUBITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvcf_text: INTEGER_32 = 4 -- The pszText member is valid. -- -- Declared in Windows as LVCF_TEXT -- (from WEL_LIST_VIEW_CONSTANTS) Lvcf_width: INTEGER_32 = 2 -- The cx member is valid. -- -- Declared in Windows as LVCF_WIDTH -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Column Flags (Width) Lvscw_autosize: INTEGER_32 = -1 -- Automatically sizes the column. -- -- Declared in Windows as LVSCW_AUTOSIZE -- (from WEL_LIST_VIEW_CONSTANTS) Lvscw_autosize_useheader: INTEGER_32 = -2 -- Automatically sizes the column to fit the -- header text. If you use this value with the last -- column, its width is set to fill the remaining -- width of the list view control. -- -- Declared in Windows as LVSCW_AUTOSIZE_USEHEADER -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Common window styles Ws_childwindow: INTEGER_32 = 1073741824 -- Declared in Windows as WS_CHILDWINDOW -- (from WEL_WS_CONSTANTS) Ws_overlappedwindow: INTEGER_32 = 13565952 -- Declared in Windows as WS_OVERLAPPEDWINDOW -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_tiledwindow`. -- (from WEL_WS_CONSTANTS) Ws_popupwindow: INTEGER_32 = -2138570752 -- Declared in Windows as WS_POPUPWINDOW -- (from WEL_WS_CONSTANTS) Ws_tiledwindow: INTEGER_32 = 13565952 -- Declared in Windows as WS_OVERLAPPEDWINDOW -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_overlappedwindow`. -- (from WEL_WS_CONSTANTS) feature -- Compatible Windows Versions is_windows_2000_compatible: BOOLEAN -- Is the current program running under Windows 2000 or above? -- (from WEL_WINDOWS_VERSION) is_windows_98_compatible: BOOLEAN -- Is the current program running under Windows 98 or above? -- (from WEL_WINDOWS_VERSION) is_windows_9x: BOOLEAN -- Is the current program running under Windows 9x -- (Windows 95, Windows 98, Windows Me, ...)? -- (from WEL_WINDOWS_VERSION) is_windows_me_compatible: BOOLEAN -- Is the current program running under Windows Me or above? -- (from WEL_WINDOWS_VERSION) is_windows_nt: BOOLEAN -- Is the current program running under a version of -- windows belonging to the NT family? -- (Windows NT 3.51, Windows NT4, Windows 2000, -- Windows XP Home/Professional, Windows Vista) -- (from WEL_WINDOWS_VERSION) is_windows_nt4_compatible: BOOLEAN -- Is the current program running under Windows NT4 or above? -- (from WEL_WINDOWS_VERSION) is_windows_xp_compatible: BOOLEAN -- Is the current program running under Windows XP or above? -- (from WEL_WINDOWS_VERSION) feature -- Constants Esb_disable_both: INTEGER_32 = 3 -- Disables both arrows on a scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_down: INTEGER_32 = 2 -- Disables the down arrow on a vertical scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_left: INTEGER_32 = 1 -- Disables the left arrow on a horizontal scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_ltup: INTEGER_32 = 1 -- Disables the left arrow on a horizontal scroll bar -- or the up arrow on a vertical scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_rtdn: INTEGER_32 = 2 -- Disables the right arrow on a horizontal scroll bar -- or the down arrow on a vertical scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_up: INTEGER_32 = 1 -- Disables the up arrow on a vertical scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_enable_both: INTEGER_32 = 0 -- Enables both arrows on a scroll bar. -- (from WEL_ESB_CONSTANTS) Key_0: INTEGER_32 = 1 -- (from EV_KEY_CONSTANTS) Key_1: INTEGER_32 = 2 -- (from EV_KEY_CONSTANTS) Key_2: INTEGER_32 = 3 -- (from EV_KEY_CONSTANTS) Key_3: INTEGER_32 = 4 -- (from EV_KEY_CONSTANTS) Key_4: INTEGER_32 = 5 -- (from EV_KEY_CONSTANTS) Key_5: INTEGER_32 = 6 -- (from EV_KEY_CONSTANTS) Key_6: INTEGER_32 = 7 -- (from EV_KEY_CONSTANTS) Key_7: INTEGER_32 = 8 -- (from EV_KEY_CONSTANTS) Key_8: INTEGER_32 = 9 -- (from EV_KEY_CONSTANTS) Key_9: INTEGER_32 = 10 -- (from EV_KEY_CONSTANTS) Key_a: INTEGER_32 = 68 -- (from EV_KEY_CONSTANTS) Key_alt: INTEGER_32 = 96 -- (from EV_KEY_CONSTANTS) Key_b: INTEGER_32 = 69 -- (from EV_KEY_CONSTANTS) Key_back_space: INTEGER_32 = 40 -- (from EV_KEY_CONSTANTS) Key_backquote: INTEGER_32 = 56 -- (from EV_KEY_CONSTANTS) Key_backslash: INTEGER_32 = 54 -- (from EV_KEY_CONSTANTS) Key_c: INTEGER_32 = 70 -- (from EV_KEY_CONSTANTS) Key_caps_lock: INTEGER_32 = 45 -- (from EV_KEY_CONSTANTS) Key_close_bracket: INTEGER_32 = 52 -- (from EV_KEY_CONSTANTS) Key_comma: INTEGER_32 = 47 -- (from EV_KEY_CONSTANTS) Key_ctrl: INTEGER_32 = 95 -- (from EV_KEY_CONSTANTS) Key_d: INTEGER_32 = 71 -- (from EV_KEY_CONSTANTS) Key_dash: INTEGER_32 = 57 -- (from EV_KEY_CONSTANTS) Key_delete: INTEGER_32 = 67 -- (from EV_KEY_CONSTANTS) Key_down_arrow: INTEGER_32 = 59 -- (from EV_KEY_CONSTANTS) Key_e: INTEGER_32 = 72 -- (from EV_KEY_CONSTANTS) Key_end: INTEGER_32 = 65 -- (from EV_KEY_CONSTANTS) Key_enter: INTEGER_32 = 41 -- (from EV_KEY_CONSTANTS) Key_equal: INTEGER_32 = 48 -- (from EV_KEY_CONSTANTS) Key_escape: INTEGER_32 = 42 -- (from EV_KEY_CONSTANTS) Key_f: INTEGER_32 = 73 -- (from EV_KEY_CONSTANTS) Key_f1: INTEGER_32 = 27 -- (from EV_KEY_CONSTANTS) Key_f10: INTEGER_32 = 36 -- (from EV_KEY_CONSTANTS) Key_f11: INTEGER_32 = 37 -- (from EV_KEY_CONSTANTS) Key_f12: INTEGER_32 = 38 -- (from EV_KEY_CONSTANTS) Key_f2: INTEGER_32 = 28 -- (from EV_KEY_CONSTANTS) Key_f3: INTEGER_32 = 29 -- (from EV_KEY_CONSTANTS) Key_f4: INTEGER_32 = 30 -- (from EV_KEY_CONSTANTS) Key_f5: INTEGER_32 = 31 -- (from EV_KEY_CONSTANTS) Key_f6: INTEGER_32 = 32 -- (from EV_KEY_CONSTANTS) Key_f7: INTEGER_32 = 33 -- (from EV_KEY_CONSTANTS) Key_f8: INTEGER_32 = 34 -- (from EV_KEY_CONSTANTS) Key_f9: INTEGER_32 = 35 -- (from EV_KEY_CONSTANTS) Key_g: INTEGER_32 = 74 -- (from EV_KEY_CONSTANTS) Key_h: INTEGER_32 = 75 -- (from EV_KEY_CONSTANTS) Key_home: INTEGER_32 = 64 -- (from EV_KEY_CONSTANTS) Key_i: INTEGER_32 = 76 -- (from EV_KEY_CONSTANTS) Key_insert: INTEGER_32 = 66 -- (from EV_KEY_CONSTANTS) Key_j: INTEGER_32 = 77 -- (from EV_KEY_CONSTANTS) Key_k: INTEGER_32 = 78 -- (from EV_KEY_CONSTANTS) Key_l: INTEGER_32 = 79 -- (from EV_KEY_CONSTANTS) Key_left: INTEGER_32 = 60 -- (from EV_KEY_CONSTANTS) Key_left_meta: INTEGER_32 = 97 -- (from EV_KEY_CONSTANTS) Key_m: INTEGER_32 = 80 -- (from EV_KEY_CONSTANTS) Key_menu: INTEGER_32 = 99 -- (from EV_KEY_CONSTANTS) Key_n: INTEGER_32 = 81 -- (from EV_KEY_CONSTANTS) Key_num_lock: INTEGER_32 = 24 -- (from EV_KEY_CONSTANTS) Key_numpad_0: INTEGER_32 = 11 -- (from EV_KEY_CONSTANTS) Key_numpad_1: INTEGER_32 = 12 -- (from EV_KEY_CONSTANTS) Key_numpad_2: INTEGER_32 = 13 -- (from EV_KEY_CONSTANTS) Key_numpad_3: INTEGER_32 = 14 -- (from EV_KEY_CONSTANTS) Key_numpad_4: INTEGER_32 = 15 -- (from EV_KEY_CONSTANTS) Key_numpad_5: INTEGER_32 = 16 -- (from EV_KEY_CONSTANTS) Key_numpad_6: INTEGER_32 = 17 -- (from EV_KEY_CONSTANTS) Key_numpad_7: INTEGER_32 = 18 -- (from EV_KEY_CONSTANTS) Key_numpad_8: INTEGER_32 = 19 -- (from EV_KEY_CONSTANTS) Key_numpad_9: INTEGER_32 = 20 -- (from EV_KEY_CONSTANTS) Key_numpad_add: INTEGER_32 = 21 -- (from EV_KEY_CONSTANTS) Key_numpad_decimal: INTEGER_32 = 26 -- (from EV_KEY_CONSTANTS) Key_numpad_divide: INTEGER_32 = 22 -- (from EV_KEY_CONSTANTS) Key_numpad_multiply: INTEGER_32 = 23 -- (from EV_KEY_CONSTANTS) Key_numpad_subtract: INTEGER_32 = 25 -- (from EV_KEY_CONSTANTS) Key_o: INTEGER_32 = 82 -- (from EV_KEY_CONSTANTS) Key_open_bracket: INTEGER_32 = 51 -- (from EV_KEY_CONSTANTS) Key_p: INTEGER_32 = 83 -- (from EV_KEY_CONSTANTS) Key_page_down: INTEGER_32 = 63 -- (from EV_KEY_CONSTANTS) Key_page_up: INTEGER_32 = 62 -- (from EV_KEY_CONSTANTS) Key_pause: INTEGER_32 = 44 -- (from EV_KEY_CONSTANTS) Key_period: INTEGER_32 = 49 -- (from EV_KEY_CONSTANTS) Key_q: INTEGER_32 = 84 -- (from EV_KEY_CONSTANTS) Key_quote: INTEGER_32 = 55 -- (from EV_KEY_CONSTANTS) Key_r: INTEGER_32 = 85 -- (from EV_KEY_CONSTANTS) Key_right: INTEGER_32 = 61 -- (from EV_KEY_CONSTANTS) Key_right_meta: INTEGER_32 = 98 -- (from EV_KEY_CONSTANTS) Key_s: INTEGER_32 = 86 -- (from EV_KEY_CONSTANTS) Key_scroll_lock: INTEGER_32 = 46 -- (from EV_KEY_CONSTANTS) Key_semicolon: INTEGER_32 = 50 -- (from EV_KEY_CONSTANTS) Key_shift: INTEGER_32 = 94 -- (from EV_KEY_CONSTANTS) Key_slash: INTEGER_32 = 53 -- (from EV_KEY_CONSTANTS) Key_space: INTEGER_32 = 39 -- (from EV_KEY_CONSTANTS) Key_t: INTEGER_32 = 87 -- (from EV_KEY_CONSTANTS) Key_tab: INTEGER_32 = 43 -- (from EV_KEY_CONSTANTS) Key_u: INTEGER_32 = 88 -- (from EV_KEY_CONSTANTS) Key_up_arrow: INTEGER_32 = 58 -- (from EV_KEY_CONSTANTS) Key_v: INTEGER_32 = 89 -- (from EV_KEY_CONSTANTS) Key_w: INTEGER_32 = 90 -- (from EV_KEY_CONSTANTS) Key_x: INTEGER_32 = 91 -- (from EV_KEY_CONSTANTS) Key_y: INTEGER_32 = 92 -- (from EV_KEY_CONSTANTS) Key_z: INTEGER_32 = 93 -- (from EV_KEY_CONSTANTS) feature -- Contract support valid_key_code (a_code: INTEGER_32): BOOLEAN -- Is a_code a valid key code? -- (from EV_KEY_CONSTANTS) valid_wel_code (a_wel_code: INTEGER_32): BOOLEAN -- Is a_wel_code valid? -- (from EV_WEL_KEY_CONVERSION) feature -- Control window styles Ws_group: INTEGER_32 = 131072 -- Declared in Windows as WS_GROUP -- (from WEL_WS_CONSTANTS) Ws_tabstop: INTEGER_32 = 65536 -- Declared in Windows as WS_TABSTOP -- (from WEL_WS_CONSTANTS) feature -- Conversion from Eiffel to Windows frozen to_lparam (i: INTEGER_32): POINTER -- Convert integer value i in a valid LPARAM value. -- (from WEL_DATA_TYPE) ensure -- from WEL_DATA_TYPE is_class: class frozen to_lresult (i: INTEGER_32): POINTER -- Convert integer value i in a valid LRESULT value. -- (from WEL_DATA_TYPE) ensure -- from WEL_DATA_TYPE is_class: class frozen to_wparam (i: INTEGER_32): POINTER -- Convert integer value i in a valid WPARAM value. -- (from WEL_DATA_TYPE) ensure -- from WEL_DATA_TYPE is_class: class feature -- Current Windows Version build_number: INTEGER_32 -- Build number of current operating system -- (from WEL_WINDOWS_VERSION) require -- from WEL_WINDOWS_VERSION windows_nt_family: is_windows_nt major_version: INTEGER_32 -- Major version of current operating system -- (from WEL_WINDOWS_VERSION) minor_version: INTEGER_32 -- Minor version of current operating system -- (from WEL_WINDOWS_VERSION) version_info: detachable WEL_OS_VERSION_INFO -- Associated WEL_OS_VERSION_INFO structure -- (from WEL_WINDOWS_VERSION) feature -- Deferred features has_tabstop: BOOLEAN -- Does Current exhibit all attributes to permit it to receive the -- focus while tabbing? -- (from EV_WIDGET_IMP) next_dlgtabitem (hdlg, hctl: POINTER; previous: BOOLEAN): POINTER -- Encapsulation of the SDK GetNextDlgTabItem, -- because we cannot do a deferred feature become an -- external feature. -- (from EV_WIDGET_IMP) next_tabstop_widget (start_widget: EV_WIDGET; search_pos: INTEGER_32; forwards: BOOLEAN): EV_WIDGET_IMP -- Return the next widget that may by tabbed to as a result of pressing the tab key from start_widget. -- search_pos is the index where searching must start from for containers, and forwards determines the -- tabbing direction. If search_pos is less then 1 or more than `count` for containers, the parent of the -- container must be searched next. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_IMP start_widget_not_void: start_widget /= Void ensure -- from EV_WIDGET_IMP result_not_void: Result /= Void next_tabstop_widget_from_parent (start_widget: EV_WIDGET; search_pos: INTEGER_32; forwards: BOOLEAN): EV_WIDGET_IMP -- Return the next widget that may be tabbed to as a result of pressing the tab key from start_widget -- by visiting the parent of Current with a search index determined by search_pos and forwards. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_IMP start_widget_not_void: start_widget /= Void ensure -- from EV_WIDGET_IMP result_not_void: Result /= Void return_current_if_next_tabstop_widget (start_widget: EV_WIDGET; search_pos: INTEGER_32; forwards: BOOLEAN): detachable EV_WIDGET_IMP -- If Current is not equal to start_widget then return Current but only if search_pos is 1 and forwards or -- search_pos is 0 and not `forwards. This ensures that we return a container in the correct order (before or after) -- its children dependent on the state of forwards. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_IMP start_widget_not_void: start_widget /= Void Start_widget_searched_cell: CELL [INTEGER_32] -- A cell to hold the seach index that the item tabbed from started with. -- This is necessary to prevent infinite recursion in the -- case where there is no next item as if we return to the -- original widget with the same search position, then we know we have exhausted all other possibilities. -- (from EV_WIDGET_IMP) frozen trigger_dpi_actions (a_dpi: NATURAL_32; a_width, a_height: INTEGER_32) -- Current has been resized. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_IMP exists: exists frozen trigger_resize_actions (a_width, a_height: INTEGER_32) -- Current has been resized. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_IMP exists: exists wel_background_color: WEL_COLOR_REF -- Result is background color of Current. -- (from EV_WIDGET_IMP) wel_foreground_color: WEL_COLOR_REF -- Result is foreground color of Current. -- (from EV_WIDGET_IMP) feature -- Element Change set_default_processing (value: BOOLEAN) -- Enable or disable default processing of window messages. -- (from WEL_RETURN_VALUE) ensure -- from WEL_RETURN_VALUE value_set: default_processing = value set_message_return_value (value: POINTER) -- Set the window-procedure-return-value. -- (from WEL_RETURN_VALUE) require -- from EV_WIDGET_IMP True ensure -- from WEL_RETURN_VALUE has_return_value: has_return_value value_set: message_return_value = value feature -- Event handling conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when a pebble that fits here is picked. -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I) ensure -- from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I not_void: Result /= Void deselect_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when an item is deselected. -- (from EV_LIST_ITEM_LIST_ACTION_SEQUENCES_I) ensure -- from EV_LIST_ITEM_LIST_ACTION_SEQUENCES_I not_void: Result /= Void dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed after a dock completes from Current. -- Either to a dockable target or a dockable dialog. -- (from EV_DOCKABLE_SOURCE_ACTION_SEQUENCES_I) ensure -- from EV_DOCKABLE_SOURCE_ACTION_SEQUENCES_I not_void: Result /= Void dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when `pebble` is picked up. -- (from EV_DOCKABLE_SOURCE_ACTION_SEQUENCES_I) ensure -- from EV_DOCKABLE_SOURCE_ACTION_SEQUENCES_I not_void: Result /= Void dpi_changed_actions: EV_DPI_ACTION_SEQUENCE -- Actions to be performed when dpi changes. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void drop_actions: EV_PND_ACTION_SEQUENCE -- Actions to be performed when a pebble is dropped here. -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I) ensure -- from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I not_void: Result /= Void file_drop_actions: EV_LITE_ACTION_SEQUENCE [LIST [STRING_32]] -- Actions to be performed when an OS file drop occurs on Current. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void focus_in_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when keyboard focus is gained. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void focus_out_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when keyboard focus is lost. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void init_dpi_changed_actions (a_dpi_changed_actions: like dpi_changed_actions) -- Initialize a_dpi_changed_actions accordingly to the current widget. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_ACTION_SEQUENCES_I True init_file_drop_actions (a_file_drop_actions: like file_drop_actions) -- Create and initialize -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_ACTION_SEQUENCES_I True init_resize_actions (a_resize_actions: like resize_actions) -- Initialize a_resize_actions accordingly to the current widget. -- (from EV_WIDGET_IMP) require -- from EV_WIDGET_ACTION_SEQUENCES_I True key_press_actions: EV_KEY_ACTION_SEQUENCE -- Actions to be performed when a keyboard key is pressed. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void key_press_string_actions: EV_KEY_STRING_ACTION_SEQUENCE -- Actions to be performed when a keyboard press generates a displayable character. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void key_release_actions: EV_KEY_ACTION_SEQUENCE -- Actions to be performed when a keyboard key is released. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void mouse_wheel_actions: EV_INTEGER_ACTION_SEQUENCE -- Actions to be performed when mouse wheel is rotated. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void new_item_actions: EV_LITE_ACTION_SEQUENCE [EV_ITEM] -- Actions to be performed after an item is added. -- (from EV_ITEM_LIST_IMP) pick_actions: EV_PND_START_ACTION_SEQUENCE -- Actions to be performed when `pebble` is picked up. -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I) ensure -- from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I not_void: Result /= Void pick_ended_actions: EV_PND_FINISHED_ACTION_SEQUENCE -- Actions to be performed when a transport from Current ends. -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I) ensure -- from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES_I not_void: Result /= Void pointer_button_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE -- Actions to be performed when screen pointer button is pressed. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void pointer_button_release_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE -- Actions to be performed when screen pointer button is released. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void pointer_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE -- Actions to be performed when screen pointer is double clicked. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void pointer_enter_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when screen pointer enters widget. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void pointer_leave_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when screen pointer leaves widget. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE -- Actions to be performed when screen pointer moves. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void remove_item_actions: EV_LITE_ACTION_SEQUENCE [EV_ITEM] -- Actions to be performed before an item is removed. -- (from EV_ITEM_LIST_IMP) resize_actions: EV_GEOMETRY_ACTION_SEQUENCE -- Actions to be performed when size changes. -- (from EV_WIDGET_ACTION_SEQUENCES_I) ensure -- from EV_WIDGET_ACTION_SEQUENCES_I not_void: Result /= Void select_actions: EV_NOTIFY_ACTION_SEQUENCE -- Actions to be performed when an item is selected. -- (from EV_LIST_ITEM_LIST_ACTION_SEQUENCES_I) ensure -- from EV_LIST_ITEM_LIST_ACTION_SEQUENCES_I not_void: Result /= Void feature -- Exact Windows Versions is_windows_2000: BOOLEAN -- Is the current program running under Windows 2000? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows2000_is_nt: Result implies is_windows_nt is_windows_95: BOOLEAN -- Is the current program running under Windows 95 -- (OSR1, OSR2 or OSR2.5)? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows95_is_9x: Result implies is_windows_9x is_windows_98: BOOLEAN -- Is the current program running under Windows 98 -- (1st or 2nd edition)? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows98_is_9x: Result implies is_windows_9x is_windows_me: BOOLEAN -- Is the current program running under Windows Millenium Edition? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows_me_is_9x: Result implies is_windows_9x is_windows_nt4: BOOLEAN -- Is the current program running under Windows NT4? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows_nt4_is_nt: Result implies is_windows_nt is_windows_vista: BOOLEAN -- If the current program running under Windows Vista? -- (from WEL_WINDOWS_VERSION) is_windows_xp: BOOLEAN -- Is the current program running under Windows XP (Home or Professional)? -- (from WEL_WINDOWS_VERSION) ensure -- from WEL_WINDOWS_VERSION windows_xp_is_nt: Result implies is_windows_nt feature -- Extended Style Lvs_ex_checkboxes: INTEGER_32 = 4 -- Version 4.70. -- Enables check boxes for items in a list view -- control. Effectively, when set to this style, the control -- will create and set a state image list using -- DrawFrameControl. Check boxes are visible and functional -- with all list view modes. You can obtain the state of the -- check box for a given item with ListView_GetCheckState. To -- set the check state, use ListView_SetCheckState. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_doublebuffer: INTEGER_32 = 65536 -- Version 6.00. Uses double buffering for rendering items. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_flatsb: INTEGER_32 = 256 -- Version 4.71. -- Enables flat scroll bars in the list view. -- If you need more control over the appearance of the list -- view's scroll bars, you should manipulate the list view's -- scroll bars directly using the Flat Scroll Bar APIs. If -- the system metrics change, you are responsible for adjusting -- the scrollbar metrics with FlatSB_SetScrollProp. See Flat -- Scroll Bars for further details. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_fullrowselect: INTEGER_32 = 32 -- Version 4.70. -- When an item is selected, the item and all its subitems are -- highlighted. This style is available only in conjunction -- with the LVS_REPORT style. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_gridlines: INTEGER_32 = 1 -- Version 4.70. Displays gridlines around items and subitems. -- This style is available only in conjunction with the LVS_REPORT -- style. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_headerdragdrop: INTEGER_32 = 16 -- Version 4.70. Enables drag-and-drop reordering of columns in -- a list view control. This style is only available to list -- view controls that use the LVS_REPORT style. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_infotip: INTEGER_32 = 1024 -- Version 4.71. When a list view control uses the -- LVS_EX_INFOTIP style, the LVN_GETINFOTIP notification message -- is sent to the parent window before displaying an item's -- tooltip. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_labeltip: INTEGER_32 = 16384 -- Version 5.80. If a partially hidden label in any list view -- mode lacks tooltip text, the list view control will unfold -- the label. If this style is not set, the list view control -- will unfold partly hidden labels only for the large icon mode. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_multiworkareas: INTEGER_32 = 8192 -- Version 4.71. If the list view control has the LVS_AUTOARRANGE -- style, the control will not autoarrange its icons until one or -- more work areas are defined (see LVM_SETWORKAREAS). To be -- effective, this style must be set before any work areas are -- defined and any items have been added to the control. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_oneclickactivate: INTEGER_32 = 64 -- Version 4.70. The list view control sends an LVN_ITEMACTIVATE -- notification message to the parent window when the user clicks -- an item. This style also enables hot tracking in the list view -- control. Hot tracking means that when the cursor moves over an -- item, it is highlighted but not selected. See the Remarks for a -- discussion of item activation. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_regional: INTEGER_32 = 512 -- Version 4.71. The list view will create a region that includes -- only the item icons and text and set its window region to that -- using SetWindowRgn. This will exclude any area that is not part -- of an item from the window region. This style is only available -- to list view controls that use the LVS_ICON style. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_subitemimages: INTEGER_32 = 2 -- Version 4.70. Allows images to be displayed for subitems. -- This style is available only in conjunction with the LVS_REPORT -- style. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_trackselect: INTEGER_32 = 8 -- Version 4.70. Enables hot-track selection in a list view -- control. Hot track selection means that an item is -- automatically selected when the cursor remains over the item -- for a certain period of time. The delay can be changed from -- the default system setting with a LVM_SETHOVERTIME message. -- This style applies to all styles of list view control. You -- can check whether or not hot-track selection is enabled by -- calling SystemParametersInfo. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_twoclickactivate: INTEGER_32 = 128 -- Version 4.70. The list view control sends an LVN_ITEMACTIVATE -- notification message to the parent window when the user -- double-clicks an item. This style also enables hot tracking -- in the list view control. Hot tracking means that when the -- cursor moves over an item, it is highlighted but not -- selected. See the Remarks for a discussion of item -- activation. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_underlinecold: INTEGER_32 = 4096 -- Version 4.71. Causes non-hot items that are activatable to be -- displayed with underlined text. This style requires that -- LVS_EX_TWOCLICKACTIVATE also be set. See the Remarks for a -- discussion of item activation. -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ex_underlinehot: INTEGER_32 = 2048 -- Version 4.71. Causes hot items that are activatable to be -- displayed with underlined text. This style requires that -- LVS_EX_ONECLICKACTIVATE or LVS_EX_TWOCLICKACTIVATE also be -- set. See the Remarks for a discussion of item activation. -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Extended window styles Ws_ex_acceptfiles: INTEGER_32 = 16 -- Declared in Windows as WS_EX_ACCEPTFILES -- (from WEL_WS_CONSTANTS) Ws_ex_appwindow: INTEGER_32 = 262144 -- (from WEL_WS_CONSTANTS) Ws_ex_clientedge: INTEGER_32 = 512 -- Declared in Windows as WS_EX_CLIENTEDGE -- (from WEL_WS_CONSTANTS) Ws_ex_composited: INTEGER_32 = 33554432 -- Declared in Windows as WS_EX_COMPOSITED -- (from WEL_WS_CONSTANTS) Ws_ex_contexthelp: INTEGER_32 = 1024 -- Declared in Windows as WS_EX_CONTEXTHELP -- (from WEL_WS_CONSTANTS) Ws_ex_controlparent: INTEGER_32 = 65536 -- Declared in Windows as WS_EX_CONTROLPARENT -- (from WEL_WS_CONSTANTS) Ws_ex_dlgmodalframe: INTEGER_32 = 1 -- Declared in Windows as WS_EX_DLGMODALFRAME -- (from WEL_WS_CONSTANTS) Ws_ex_layered: INTEGER_32 = 524288 -- Declared in Windows as WS_EX_LAYERED -- (from WEL_WS_CONSTANTS) Ws_ex_left: INTEGER_32 = 0 -- Declared in Windows as WS_EX_LEFT -- (from WEL_WS_CONSTANTS) Ws_ex_leftscrollbar: INTEGER_32 = 16384 -- Declared in Windows as WS_EX_LEFTSCROLLBAR -- (from WEL_WS_CONSTANTS) Ws_ex_ltrreading: INTEGER_32 = 0 -- Declared in Windows as WS_EX_LTRREADING -- (from WEL_WS_CONSTANTS) Ws_ex_mdichild: INTEGER_32 = 64 -- Declared in Windows as WS_EX_MDICHILD -- (from WEL_WS_CONSTANTS) Ws_ex_noactivate: INTEGER_32 = 134217728 -- Declared in Windows as WS_EX_NOACTIVATE -- (from WEL_WS_CONSTANTS) Ws_ex_noparentnotify: INTEGER_32 = 4 -- Declared in Windows as WS_EX_NOPARENTNOTIFY -- (from WEL_WS_CONSTANTS) Ws_ex_overlappedwindow: INTEGER_32 = 768 -- Declared in Windows as WS_EX_OVERLAPPEDWINDOW -- (from WEL_WS_CONSTANTS) Ws_ex_palettewindow: INTEGER_32 = 392 -- Declared in Windows as WS_EX_PALETTEWINDOW -- (from WEL_WS_CONSTANTS) Ws_ex_right: INTEGER_32 = 4096 -- Declared in Windows as WS_EX_RIGHT -- (from WEL_WS_CONSTANTS) Ws_ex_rightscrollbar: INTEGER_32 = 0 -- Declared in Windows as WS_EX_RIGHTSCROLLBAR -- (from WEL_WS_CONSTANTS) Ws_ex_rtlreading: INTEGER_32 = 8192 -- Declared in Windows as WS_EX_RTLREADING -- (from WEL_WS_CONSTANTS) Ws_ex_staticedge: INTEGER_32 = 131072 -- Declared in Windows as WS_EX_STATICEDGE -- (from WEL_WS_CONSTANTS) Ws_ex_toolwindow: INTEGER_32 = 128 -- Declared in Windows as WS_EX_TOOLWINDOW -- (from WEL_WS_CONSTANTS) Ws_ex_topmost: INTEGER_32 = 8 -- Declared in Windows as WS_EX_TOPMOST -- (from WEL_WS_CONSTANTS) Ws_ex_transparent: INTEGER_32 = 32 -- Declared in Windows as WS_EX_TRANSPARENT -- (from WEL_WS_CONSTANTS) Ws_ex_windowedge: INTEGER_32 = 256 -- Declared in Windows as WS_EX_WINDOWEDGE -- (from WEL_WS_CONSTANTS) feature -- Externals cwin_get_next_dlgtabitem (hdlg, hctl: POINTER; previous: BOOLEAN): POINTER -- SDK GetNextDlgTabItem -- (from WEL_CONTROL) require -- from EV_WIDGET_IMP True cwin_show_window (hwnd: POINTER; cmd_show: INTEGER_32) -- SDK ShowWindow -- (from WEL_WINDOW) require -- from EV_WIDGET_IMP True ensure -- from EV_WIDGET_IMP is_class: class ensure -- from WEL_WINDOW is_class: class feature -- Feature that should be directly implemented by externals show_window (hwnd: POINTER; cmd_show: INTEGER_32) -- Encapsulation of the cwin_show_window function of -- WEL_WINDOW. Normaly, we should be able to have directly -- cwin_show_window deferred but it does not wotk because -- it would be implemented by an external. -- (from EV_WIDGET_IMP) feature -- Flags defining search in a list view. Lvfi_nearestxy: INTEGER_32 = 64 -- Search item nearest specified position in specified direction -- -- Declared in Windows as LVFI_NEARESTXY -- (from WEL_LIST_VIEW_CONSTANTS) Lvfi_param: INTEGER_32 = 1 -- Search item with corresponding lparam attribute -- -- Declared in Windows as LVFI_PARAM -- (from WEL_LIST_VIEW_CONSTANTS) Lvfi_partial: INTEGER_32 = 8 -- Search item including given string -- -- Declared in Windows as LVFI_PARTIAL -- (from WEL_LIST_VIEW_CONSTANTS) Lvfi_string: INTEGER_32 = 2 -- Search item with exact corresponding string -- -- Declared in Windows as LVFI_STRING -- (from WEL_LIST_VIEW_CONSTANTS) Lvfi_wrap: INTEGER_32 = 32 -- Start search from start when end of list view is reached -- -- Declared in Windows as LVFI_WRAP -- (from WEL_LIST_VIEW_CONSTANTS) feature -- For dialogs frozen dwlp_dlgproc: INTEGER_32 -- (from WEL_GWL_CONSTANTS) frozen dwlp_msgresult: INTEGER_32 -- (from WEL_GWL_CONSTANTS) frozen dwlp_user: INTEGER_32 -- (from WEL_GWL_CONSTANTS) feature -- For windows Gwl_hinstance: INTEGER_32 = -6 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_hinstance`. -- (from WEL_GWL_CONSTANTS) Gwl_hwndparent: INTEGER_32 = -8 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_hwndparent`. -- (from WEL_GWL_CONSTANTS) Gwl_id: INTEGER_32 = -12 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_id`. -- (from WEL_GWL_CONSTANTS) Gwl_userdata: INTEGER_32 = -21 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_userdata`. -- (from WEL_GWL_CONSTANTS) Gwl_wndproc: INTEGER_32 = -4 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_wndproc`. -- (from WEL_GWL_CONSTANTS) Gwlp_hinstance: INTEGER_32 = -6 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_hinstance`. -- (from WEL_GWL_CONSTANTS) Gwlp_hwndparent: INTEGER_32 = -8 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_hwndparent`. -- (from WEL_GWL_CONSTANTS) Gwlp_id: INTEGER_32 = -12 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_id`. -- (from WEL_GWL_CONSTANTS) Gwlp_userdata: INTEGER_32 = -21 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_userdata`. -- (from WEL_GWL_CONSTANTS) Gwlp_wndproc: INTEGER_32 = -4 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_wndproc`. -- (from WEL_GWL_CONSTANTS) feature -- Generic window states Ws_disabled: INTEGER_32 = 134217728 -- Declared in Windows as WS_DISABLED -- (from WEL_WS_CONSTANTS) Ws_visible: INTEGER_32 = 268435456 -- Declared in Windows as WS_VISIBLE -- (from WEL_WS_CONSTANTS) feature -- Header Notifications. Hdn_begindrag: INTEGER_32 = -310 -- Version 4.70 and later of Comctl32.dll -- Sent by a header control when a drag operation has begun on -- one of its items. This notification message is sent only by -- header controls that are set to the HDS_DRAGDROP style. This -- notification is sent in the form of a WM_NOTIFY message. -- -- Declared in Windows as HDN_BEGINDRAG -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_begintrack: INTEGER_32 = -306 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_begintracka`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_begintracka: INTEGER_32 = -306 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_begintrack`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_begintrackw: INTEGER_32 = -326 -- Notifies a header control's parent window that the user has -- begun dragging a divider in the control (that is, the user -- has pressed the left mouse button while the mouse cursor is -- on a divider in the header control). This notification -- message is sent in the form of a WM_NOTIFY message. -- -- Declared in Windows as HDN_BEGINTRACK -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_dividerdblclick: INTEGER_32 = -305 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_dividerdblclicka`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_dividerdblclicka: INTEGER_32 = -305 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_dividerdblclick`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_dividerdblclickw: INTEGER_32 = -325 -- Notifies a header control's parent window that the user -- double-clicked the divider area of the control. This -- notification message is sent in the form of a WM_NOTIFY -- message. -- -- Declared in Windows as HDN_DIVIDERDBLCLICK -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_enddrag: INTEGER_32 = -311 -- Version 4.70 and later of Comctl32.dll -- Sent by a header control when a drag operation has ended on -- one of its items. This notification is sent as a WM_NOTIFY -- message. Only header controls that are set to the -- HDS_DRAGDROP style send this notification. -- -- Declared in Windows as HDN_ENDDRAG -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_endtrack: INTEGER_32 = -307 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_endtracka`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_endtracka: INTEGER_32 = -307 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_endtrack`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_endtrackw: INTEGER_32 = -327 -- Notifies a header control's parent window that the user has -- finished dragging a divider. This notification message sent -- in the form of a WM_NOTIFY message. -- -- Declared in Windows as HDN_ENDTRACK -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_getdispinfo: INTEGER_32 = -309 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_getdispinfoa`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_getdispinfoa: INTEGER_32 = -309 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_getdispinfo`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_getdispinfow: INTEGER_32 = -329 -- Version 4.70 and later of Comctl32.dll -- Notifies the header control's parent window when the filter -- button is clicked or in response to an HDM_SETITEM message. -- -- Declared in Windows as HDN_GETDISPINFO -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemchanged: INTEGER_32 = -301 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_itemchangeda`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemchangeda: INTEGER_32 = -301 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_itemchanged`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemchangedw: INTEGER_32 = -321 -- Notifies a header control's parent window that the attributes -- of a header item have changed. This notification message is -- sent in the form of a WM_NOTIFY message. -- -- Declared in Windows as HDN_ITEMCHANGED -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemchanging: INTEGER_32 = -300 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_itemchanginga`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemchanginga: INTEGER_32 = -300 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_itemchanging`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemchangingw: INTEGER_32 = -320 -- Notifies a header control's parent window that the attributes -- of a header item are about to change. This notification -- message is sent in the form of a WM_NOTIFY message. -- -- Declared in Windows as HDN_ITEMCHANGING -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemclick: INTEGER_32 = -302 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_itemclicka`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemclicka: INTEGER_32 = -302 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_itemclick`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemclickw: INTEGER_32 = -322 -- Notifies a header control's parent window that the user -- clicked the control. This notification message is sent in the -- form of a WM_NOTIFY message. -- -- Declared in Windows as HDN_ITEMCLICK -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemdblclick: INTEGER_32 = -303 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_itemdblclicka`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemdblclicka: INTEGER_32 = -303 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_itemdblclick`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_itemdblclickw: INTEGER_32 = -323 -- Notifies a header control's parent window that the user -- double-clicked the control. This notification message is sent -- in the form of a WM_NOTIFY message. Only header controls that -- are set to the HDS_BUTTONS style send this notification. -- -- Declared in Windows as HDN_ITEMDBLCLICK -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_track: INTEGER_32 = -308 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_tracka`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_tracka: INTEGER_32 = -308 -- Was declared in {WEL_LIST_VIEW_CONSTANTS} as synonym of `hdn_track`. -- (from WEL_LIST_VIEW_CONSTANTS) Hdn_trackw: INTEGER_32 = -328 -- Notifies a header control's parent window that the user is -- dragging a divider in the header control. This notification -- message is sent in the form of a WM_NOTIFY message. -- -- Declared in Windows as HDN_TRACK -- (from WEL_LIST_VIEW_CONSTANTS) feature -- HitTest Info. Lvht_above: INTEGER_32 = 8 -- Above the client area. -- -- Declared in Windows as LVHT_ABOVE -- (from WEL_LIST_VIEW_CONSTANTS) Lvht_below: INTEGER_32 = 16 -- Below the client area. -- -- Declared in Windows as LVHT_BELOW -- (from WEL_LIST_VIEW_CONSTANTS) Lvht_nowhere: INTEGER_32 = 1 -- In the client area, but below the last item. -- -- Declared in Windows as LVHT_NOWHERE -- (from WEL_LIST_VIEW_CONSTANTS) Lvht_onitemicon: INTEGER_32 = 2 -- On the button associated with an item. -- -- Declared in Windows as LVHT_ONITEMICON -- (from WEL_LIST_VIEW_CONSTANTS) Lvht_onitemlabel: INTEGER_32 = 4 -- On the label (string) associated with an item. -- -- Declared in Windows as LVHT_ONITEMLABEL -- (from WEL_LIST_VIEW_CONSTANTS) Lvht_onitemstateicon: INTEGER_32 = 8 -- On the state icon for a tree view item that is in -- a user-defines state. -- -- Declared in Windows as LVHT_ONITEMSTATEICON -- (from WEL_LIST_VIEW_CONSTANTS) Lvht_toleft: INTEGER_32 = 64 -- To the left of the client area. -- -- Declared in Windows as LVHT_TOLEFT -- (from WEL_LIST_VIEW_CONSTANTS) Lvht_toright: INTEGER_32 = 32 -- To the right of the client area. -- -- Declared in Windows as LVHT_TORIGHT -- (from WEL_LIST_VIEW_CONSTANTS) feature -- ImageList State Lvsil_normal: INTEGER_32 = 0 -- Indicates the normal image list, which contains -- selected, nonselected, and overlay images for the -- items of a list view control. -- This image list represents the large icons. -- -- Declared in Windows as LVSIL_NORMAL -- (from WEL_LIST_VIEW_CONSTANTS) Lvsil_small: INTEGER_32 = 1 -- Indicates the normal image list, which contains -- selected, nonselected, and overlay images for the -- items of a list view control. -- This image list represents the small icons. -- -- Declared in Windows as LVSIL_SMALL -- (from WEL_LIST_VIEW_CONSTANTS) Lvsil_state: INTEGER_32 = 2 -- Indicates the state image list. You can use state -- images to indicate application-defined item states. -- A state image is displayed to the left of an item's -- selected or nonselected image. -- -- Declared in Windows as LVSIL_STATE -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Item Styles Lvis_cut: INTEGER_32 = 4 -- The item is marked for a cut and paste operation. -- -- Declared in Windows as LVIS_CUT -- (from WEL_LIST_VIEW_CONSTANTS) Lvis_drophilited: INTEGER_32 = 8 -- The item is highlighted as a drag-and-dop target. -- -- Declared in Windows as LVIS_DROPHILITED -- (from WEL_LIST_VIEW_CONSTANTS) Lvis_focused: INTEGER_32 = 1 -- The item has the focus. -- -- Declared in Windows as LVIS_FOCUSED -- (from WEL_LIST_VIEW_CONSTANTS) Lvis_selected: INTEGER_32 = 2 -- The item is selected. -- -- Declared in Windows as LVIS_SELECTED -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Item flags Lvif_image: INTEGER_32 = 2 -- The iImage member is valid. -- -- Declared in Windows as LVIF_IMAGE -- (from WEL_LIST_VIEW_CONSTANTS) Lvif_param: INTEGER_32 = 4 -- The lParam member is valid. -- -- Declared in Windows as LVIF_PARAM -- (from WEL_LIST_VIEW_CONSTANTS) Lvif_state: INTEGER_32 = 8 -- The state member is valid -- -- Declared in Windows as LVIF_STATE -- (from WEL_LIST_VIEW_CONSTANTS) Lvif_text: INTEGER_32 = 1 -- The pszText member is valid. -- -- Declared in Windows as LVIF_TEXT -- (from WEL_LIST_VIEW_CONSTANTS) feature -- List View Item Rectangle constants. Lvir_bounds: INTEGER_32 = 0 -- Returns the bounding rectangle of the entire item, including -- the icon and label. -- -- Declared in Windows as LVIR_BOUNDS -- (from WEL_LIST_VIEW_CONSTANTS) Lvir_icon: INTEGER_32 = 1 -- Returns the bounding rectangle of the icon or small icon. -- -- Declared in Windows as LVIR_ICON -- (from WEL_LIST_VIEW_CONSTANTS) Lvir_label: INTEGER_32 = 2 -- Returns the bounding rectangle of the item text. -- -- Declared in Windows as LVIR_LABEL -- (from WEL_LIST_VIEW_CONSTANTS) Lvir_selectbounds: INTEGER_32 = 3 -- Returns the union of the LVIR_ICON and LVIR_LABEL rectangles, -- but excludes columns in report view. -- -- Declared in Windows as LVIR_SELECTBOUNDS -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Main window states Ws_iconic: INTEGER_32 = 536870912 -- Declared in Windows as WS_MINIMIZE -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_minimize`. -- (from WEL_WS_CONSTANTS) Ws_maximize: INTEGER_32 = 16777216 -- Declared in Windows as WS_MAXIMIZE -- (from WEL_WS_CONSTANTS) Ws_minimize: INTEGER_32 = 536870912 -- Declared in Windows as WS_MINIMIZE -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_iconic`. -- (from WEL_WS_CONSTANTS) feature -- Main window styles Ws_border: INTEGER_32 = 8388608 -- Declared in Windows as WS_BORDER -- (from WEL_WS_CONSTANTS) Ws_caption: INTEGER_32 = 12582912 -- Declared in Windows as WS_CAPTION -- (from WEL_WS_CONSTANTS) Ws_dlgframe: INTEGER_32 = 4194304 -- Declared in Windows as WS_DLGFRAME -- (from WEL_WS_CONSTANTS) Ws_hscroll: INTEGER_32 = 1048576 -- Declared in Windows as WS_HSCROLL -- (from WEL_WS_CONSTANTS) Ws_maximizebox: INTEGER_32 = 65536 -- Declared in Windows as WS_MAXIMIZEBOX -- (from WEL_WS_CONSTANTS) Ws_minimizebox: INTEGER_32 = 131072 -- Declared in Windows as WS_MINIMIZEBOX -- (from WEL_WS_CONSTANTS) Ws_sizebox: INTEGER_32 = 262144 -- Declared in Windows as WS_THICKFRAME -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_thickframe`. -- (from WEL_WS_CONSTANTS) Ws_sysmenu: INTEGER_32 = 524288 -- Declared in Windows as WS_SYSMENU -- (from WEL_WS_CONSTANTS) Ws_thickframe: INTEGER_32 = 262144 -- Declared in Windows as WS_THICKFRAME -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_sizebox`. -- (from WEL_WS_CONSTANTS) Ws_vscroll: INTEGER_32 = 2097152 -- Declared in Windows as WS_VSCROLL -- (from WEL_WS_CONSTANTS) feature -- Markers fixme (comment: READABLE_STRING_8) -- Mark code that has to be "fixed" with comment. -- (from REFACTORING_HELPER) require -- from REFACTORING_HELPER comment_not_void: comment /= Void ensure -- from REFACTORING_HELPER instance_free: class to_implement (comment: READABLE_STRING_8) -- Mark code that has to be "implemented" with comment. -- (from REFACTORING_HELPER) require -- from REFACTORING_HELPER comment_not_void: comment /= Void ensure -- from REFACTORING_HELPER instance_free: class to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN -- Mark assertion that has to be "implemented" with comment. -- (from REFACTORING_HELPER) require -- from REFACTORING_HELPER comment_not_void: comment /= Void ensure -- from REFACTORING_HELPER instance_free: class feature -- Messages Lvm_approximateviewrect: INTEGER_32 = 4160 -- Version 4.70. Calculates the approximate width and height -- required to display a given number of items. -- -- Declared in Windows as LVM_APPROXIMATEVIEWRECT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_arrange: INTEGER_32 = 4118 -- Declared in Windows as LVM_ARRANGE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_createdragimage: INTEGER_32 = 4129 -- Declared in Windows as LVM_CREATEDRAGIMAGE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_deleteallitems: INTEGER_32 = 4105 -- Declared in Windows as LVM_DELETEALLITEMS -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_deletecolumn: INTEGER_32 = 4124 -- Declared in Windows as LVM_DELETECOLUMN -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_deleteitem: INTEGER_32 = 4104 -- Declared in Windows as LVM_DELETEITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_editlabel: INTEGER_32 = 4214 -- Declared in Windows as LVM_EDITLABEL -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_ensurevisible: INTEGER_32 = 4115 -- Declared in Windows as LVM_ENSUREVISIBLE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_finditem: INTEGER_32 = 4179 -- Declared in Windows as LVM_FINDITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getbkcolor: INTEGER_32 = 4096 -- Declared in Windows as LVM_GETBKCOLOR -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getbkimage: INTEGER_32 = 4165 -- Version 4.71. Retrieves the background image in a list view -- control. -- -- Declared in Windows as LVM_GETBKIMAGE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getcallbackmask: INTEGER_32 = 4106 -- Declared in Windows as LVM_GETCALLBACKMASK -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getcolumn: INTEGER_32 = 4191 -- Declared in Windows as LVM_GETCOLUMN -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getcolumnorderarray: INTEGER_32 = 4155 -- Version 4.70. Retrieves the current left-to-right order of -- columns in a list view control. -- -- Declared in Windows as LVM_GETCOLUMNORDERARRAY -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getcolumnwidth: INTEGER_32 = 4125 -- Declared in Windows as LVM_GETCOLUMNWIDTH -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getcountperpage: INTEGER_32 = 4136 -- Declared in Windows as LVM_GETCOUNTPERPAGE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_geteditcontrol: INTEGER_32 = 4120 -- Declared in Windows as LVM_GETEDITCONTROL -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getextendedlistviewstyle: INTEGER_32 = 4151 -- Version 4.70. Retrieves the extended styles that are -- currently in use for a given list view control. -- -- Declared in Windows as LVM_GETEXTENDEDLISTVIEWSTYLE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getheader: INTEGER_32 = 4127 -- Version 4.70. Retrieves the handle to the header control used -- by the list view control. -- -- Declared in Windows as LVM_GETHEADER -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_gethotcursor: INTEGER_32 = 4159 -- Version 4.70. Retrieves the HCURSOR value used when the -- pointer is over an item while hot tracking is enabled -- -- Declared in Windows as LVM_GETHOTCURSOR -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_gethotitem: INTEGER_32 = 4157 -- Version 4.70. Retrieves the index of the hot item. -- -- Declared in Windows as LVM_GETHOTITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_gethovertime: INTEGER_32 = 4168 -- Version 4.71. Retrieves the amount of time that the mouse -- cursor must hover over an item before it is selected. -- -- Declared in Windows as LVM_GETHOVERTIME -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getimagelist: INTEGER_32 = 4098 -- Declared in Windows as LVM_GETIMAGELIST -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getisearchstring: INTEGER_32 = 4213 -- Declared in Windows as LVM_GETISEARCHSTRING -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getitem: INTEGER_32 = 4171 -- Declared in Windows as LVM_GETITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getitemcount: INTEGER_32 = 4100 -- Declared in Windows as LVM_GETITEMCOUNT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getitemposition: INTEGER_32 = 4112 -- Declared in Windows as LVM_GETITEMPOSITION -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getitemrect: INTEGER_32 = 4110 -- Declared in Windows as LVM_GETITEMRECT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getitemspacing: INTEGER_32 = 4147 -- Declared in Windows as LVM_GETITEMSPACING -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getitemstate: INTEGER_32 = 4140 -- Declared in Windows as LVM_GETITEMSTATE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getitemtext: INTEGER_32 = 4211 -- Declared in Windows as LVM_GETITEMTEXT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getnextitem: INTEGER_32 = 4108 -- Declared in Windows as LVM_GETNEXTITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getnumberofworkareas: INTEGER_32 = 4169 -- Version 4.71. Retrieves the number of working areas in a list -- view control. -- -- Declared in Windows as LVM_GETNUMBEROFWORKAREAS -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getorigin: INTEGER_32 = 4137 -- Declared in Windows as LVM_GETORIGIN -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getselectedcount: INTEGER_32 = 4146 -- Declared in Windows as LVM_GETSELECTEDCOUNT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getstringwidth: INTEGER_32 = 4183 -- Declared in Windows as LVM_GETSTRINGWIDTH -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getsubitemrect: INTEGER_32 = 4152 -- Version 4.70. Retrieves information about the bounding -- rectangle for a subitem in a list view control. -- This message is intended to be used only with list view -- controls that use the Lvs_report style. -- -- Declared in Windows as LVM_GETSUBITEMRECT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_gettextbkcolor: INTEGER_32 = 4133 -- Declared in Windows as LVM_GETTEXTBKCOLOR -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_gettextcolor: INTEGER_32 = 4131 -- Declared in Windows as LVM_GETTEXTCOLOR -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_gettopindex: INTEGER_32 = 4135 -- Declared in Windows as LVM_GETTOPINDEX -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getviewrect: INTEGER_32 = 4130 -- Declared in Windows as LVM_GETVIEWRECT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_getworkareas: INTEGER_32 = 4166 -- Version 4.71. Retrieves the UNICODE character format flag for -- the control -- -- Declared in Windows as LVM_GETWORKAREAS -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_hittest: INTEGER_32 = 4114 -- Declared in Windows as LVM_HITTEST -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_insertcolumn: INTEGER_32 = 4193 -- Declared in Windows as LVM_INSERTCOLUMN -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_insertitem: INTEGER_32 = 4173 -- Declared in Windows as LVM_INSERTITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_redrawitems: INTEGER_32 = 4117 -- Declared in Windows as LVM_REDRAWITEMS -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_scroll: INTEGER_32 = 4116 -- Declared in Windows as LVM_SCROLL -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setbkcolor: INTEGER_32 = 4097 -- Declared in Windows as LVM_SETBKCOLOR -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setbkimage: INTEGER_32 = 4164 -- Version 4.71. Retrieves the UNICODE character format flag for -- the control -- -- Declared in Windows as LVM_SETBKIMAGE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setcallbackmask: INTEGER_32 = 4107 -- Declared in Windows as LVM_SETCALLBACKMASK -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setcolumn: INTEGER_32 = 4192 -- Declared in Windows as LVM_SETCOLUMN -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setcolumnwidth: INTEGER_32 = 4126 -- Declared in Windows as LVM_SETCOLUMNWIDTH -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setextendedlistviewstyle: INTEGER_32 = 4150 -- Version 4.70. Sets extended styles in list view controls. -- -- Declared in Windows as LVM_SETEXTENDEDLISTVIEWSTYLE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_sethotcursor: INTEGER_32 = 4158 -- Version 4.70. Sets the HCURSOR value that the list view -- control uses when the pointer is over an item while hot -- tracking is enabled. To check whether or not -- hot tracking is enabled, call SystemParametersInfo. -- -- Declared in Windows as LVM_SETHOTCURSOR -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_sethotitem: INTEGER_32 = 4156 -- Version 4.70. -- -- Declared in Windows as LVM_SETHOTITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_sethovertime: INTEGER_32 = 4167 -- Version 4.71. Sets the hot item for a list view control. -- -- Declared in Windows as LVM_SETHOVERTIME -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setimagelist: INTEGER_32 = 4099 -- Declared in Windows as LVM_SETIMAGELIST -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setitem: INTEGER_32 = 4172 -- Declared in Windows as LVM_SETITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setitemcount: INTEGER_32 = 4143 -- Declared in Windows as LVM_SETITEMCOUNT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setitemposition: INTEGER_32 = 4111 -- Declared in Windows as LVM_SETITEMPOSITION -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setitemposition32: INTEGER_32 = 4145 -- Declared in Windows as LVM_SETITEMPOSITION32 -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setitemstate: INTEGER_32 = 4139 -- Declared in Windows as LVM_SETITEMSTATE -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setitemtext: INTEGER_32 = 4212 -- Declared in Windows as LVM_SETITEMTEXT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setselectionmark: INTEGER_32 = 4163 -- Version 4.71. Sets the selection mark in a list view control. -- -- Declared in Windows as LVM_SETSELECTIONMARK -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_settextbkcolor: INTEGER_32 = 4134 -- Declared in Windows as LVM_SETTEXTBKCOLOR -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_settextcolor: INTEGER_32 = 4132 -- Declared in Windows as LVM_SETTEXTCOLOR -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_settooltips: INTEGER_32 = 4170 -- Sets the tooltip control that the list view -- control will use to display tooltips. You can send this -- message explicitly or use the ListView_SetToolTips macro -- -- Declared in Windows as LVM_SETTOOLTIPS -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setunicodeformat: INTEGER_32 = 8197 -- Sets the UNICODE character format flag for the -- control. This message allows you to change the character set -- used by the control at run time rather than having to re -- create the control. -- -- Declared in Windows as LVM_SETUNICODEFORMAT -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_setworkareas: INTEGER_32 = 4161 -- Version 4.71. Sets the working areas within a list view -- control. -- -- Declared in Windows as LVM_SETWORKAREAS -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_sortitems: INTEGER_32 = 4144 -- Declared in Windows as LVM_SORTITEMS -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_subitemhittest: INTEGER_32 = 4153 -- Version 4.70. Determines which list view item or subitem is -- at a given position. -- -- Declared in Windows as LVM_SUBITEMHITTEST -- (from WEL_LIST_VIEW_CONSTANTS) Lvm_update: INTEGER_32 = 4138 -- Declared in Windows as LVM_UPDATE -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Navigation disable_tabable_from -- Ensure `is_tabable_from` is False. -- (from EV_PRIMITIVE_IMP) require -- from EV_TAB_CONTROLABLE_I True ensure -- from EV_TAB_CONTROLABLE_I not_is_tabable_from: not is_tabable_from disable_tabable_to -- Ensure `is_tabable_to` is False. -- (from EV_PRIMITIVE_IMP) require -- from EV_TAB_CONTROLABLE_I True ensure -- from EV_TAB_CONTROLABLE_I not_is_tabable_to: not is_tabable_to enable_tabable_from -- Ensure `is_tabable_from` is True. -- (from EV_PRIMITIVE_IMP) require -- from EV_TAB_CONTROLABLE_I True ensure -- from EV_TAB_CONTROLABLE_I is_tabable_from: is_tabable_from enable_tabable_to -- Ensure `is_tabable_to` is True. -- (from EV_PRIMITIVE_IMP) require -- from EV_TAB_CONTROLABLE_I True ensure -- from EV_TAB_CONTROLABLE_I is_tabable_to: is_tabable_to is_tabable_from: BOOLEAN -- May Current be tabbed from? -- (from EV_PRIMITIVE_IMP) require -- from EV_TAB_CONTROLABLE_I True require -- from EV_WIDGET_IMP True is_tabable_to: BOOLEAN -- May Current be tabbed to? -- (from EV_PRIMITIVE_IMP) require -- from EV_TAB_CONTROLABLE_I True feature -- Next item flags Lvni_above: INTEGER_32 = 256 -- Searches for an item that is above the specified item. -- -- Declared in Windows as LVNI_ABOVE -- (from WEL_LIST_VIEW_CONSTANTS) Lvni_all: INTEGER_32 = 0 -- Searches for a subsequent item by index. -- -- Declared in Windows as LVNI_ALL -- (from WEL_LIST_VIEW_CONSTANTS) Lvni_below: INTEGER_32 = 512 -- Searches for an item that is below the specified item. -- -- Declared in Windows as LVNI_BELOW -- (from WEL_LIST_VIEW_CONSTANTS) Lvni_cut: INTEGER_32 = 4 -- The item has the LVIS_CUT state flag set. -- -- Declared in Windows as LVNI_CUT -- (from WEL_LIST_VIEW_CONSTANTS) Lvni_drophilited: INTEGER_32 = 8 -- The item has the LVIS_DROPHILITED state flag set. -- -- Declared in Windows as LVNI_DROPHILITED -- (from WEL_LIST_VIEW_CONSTANTS) Lvni_focused: INTEGER_32 = 1 -- The item has the LVIS_FOCUSED state flag set. -- -- Declared in Windows as LVNI_FOCUSED -- (from WEL_LIST_VIEW_CONSTANTS) Lvni_selected: INTEGER_32 = 2 -- The item has the LVIS_SELECTED state flag set. -- -- Declared in Windows as LVNI_SELECTED -- (from WEL_LIST_VIEW_CONSTANTS) Lvni_toleft: INTEGER_32 = 1024 -- Searches for an item to the left of the specified item. -- -- Declared in Windows as LVNI_TOLEFT -- (from WEL_LIST_VIEW_CONSTANTS) Lvni_toright: INTEGER_32 = 2048 -- Searches for an item to the right of the specified item. -- -- Declared in Windows as LVNI_TORIGHT -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Notifications Lvn_begindrag: INTEGER_32 = -109 -- Declared in Windows as LVN_BEGINDRAG -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_beginlabeledit: INTEGER_32 = -175 -- Declared in Windows as LVN_BEGINLABELEDIT -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_beginrdrag: INTEGER_32 = -111 -- Declared in Windows as LVN_BEGINRDRAG -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_columnclick: INTEGER_32 = -108 -- Declared in Windows as LVN_COLUMNCLICK -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_deleteallitems: INTEGER_32 = -104 -- Declared in Windows as LVN_DELETEALLITEMS -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_deleteitem: INTEGER_32 = -103 -- Declared in Windows as LVN_DELETEITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_endlabeledit: INTEGER_32 = -176 -- Declared in Windows as LVN_ENDLABELEDIT -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_getdispinfo: INTEGER_32 = -177 -- Declared in Windows as LVN_GETDISPINFO -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_getinfotip: INTEGER_32 = -157 -- Version 4.71 and later of Comctl32.dll -- Sent by a large icon view list view control that has the -- LVS_EX_INFOTIP extended style. This notification is sent when -- the list view control is requesting additional text -- information to be displayed in a tooltip. It is sent in the -- form of a WM_NOTIFY message. -- -- Declared in Windows as LVN_GETINFOTIP -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_insertitem: INTEGER_32 = -102 -- Declared in Windows as LVN_INSERTITEM -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_itemchanged: INTEGER_32 = -101 -- Declared in Windows as LVN_ITEMCHANGED -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_itemchanging: INTEGER_32 = -100 -- Declared in Windows as LVN_ITEMCHANGING -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_keydown: INTEGER_32 = -155 -- Declared in Windows as LVN_KEYDOWN -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_marqueebegin: INTEGER_32 = -156 -- Declared in Windows as LVN_MARQUEEBEGIN -- (from WEL_LIST_VIEW_CONSTANTS) Lvn_setdispinfo: INTEGER_32 = -178 -- Declared in Windows as LVN_SETDISPINFO -- (from WEL_LIST_VIEW_CONSTANTS) on_lvn_begindrag (info: WEL_NM_LIST_VIEW) -- A drag-and-drop operation involving the left mouse -- button is being initiated. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_beginlabeledit (info: WEL_LIST_VIEW_ITEM) -- A label editing for an item has started. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_beginrdrag (info: WEL_NM_LIST_VIEW) -- A drag-and-drop operation involving the right mouse -- button is being initiated. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_columnclick (info: WEL_NM_LIST_VIEW) -- A column was tapped. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_deleteallitems (info: WEL_NM_LIST_VIEW) -- All the items were deleted. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_deleteitem (info: WEL_NM_LIST_VIEW) -- An item was deleted. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_endlabeledit (info: WEL_LIST_VIEW_ITEM) -- A label editing for an item has ended. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_getdispinfo (info: WEL_LIST_VIEW_ITEM) -- It is a request for the parent window to -- provide information needed to display or -- sort a list view item. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_insertitem (info: WEL_NM_LIST_VIEW) -- A new item was inserted. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_itemchanging (info: WEL_NM_LIST_VIEW) -- An item is changing -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists on_lvn_keydown (virtual_key: INTEGER_32) -- A key has been pressed. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists on_lvn_setdispinfo (info: WEL_LIST_VIEW_ITEM) -- The list must update the information it maintains -- for an item. -- (from WEL_LIST_VIEW) require -- from WEL_LIST_VIEW exists: exists info_not_void: info /= Void info_exists: info.exists feature -- Output Io: STD_FILES -- Handle to standard file setup -- (from ANY) ensure -- from ANY instance_free: class io_not_void: Result /= Void out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY out_not_void: Result /= Void print (o: detachable ANY) -- Write terse external representation of o -- on standard output. -- (from ANY) ensure -- from ANY instance_free: class frozen tagged_out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY tagged_out_not_void: Result /= Void feature -- Platform Operating_environment: OPERATING_ENVIRONMENT -- Objects available from the operating system -- (from ANY) ensure -- from ANY instance_free: class operating_environment_not_void: Result /= Void feature -- Position set_position (new_x_position: INTEGER_32; new_y_position: INTEGER_32) -- Put at horizontal position new_x_position and at -- vertical position new_y_position relative to parent. -- (from EV_SIZEABLE_IMP) require -- from EV_SIZEABLE_IMP not_is_destroyed: not is_destroyed feature -- Registration is_registered: BOOLEAN -- Is window registered? -- (from WEL_WINDOW) frozen register_current_window -- Register Current in window manager. -- (from WEL_WINDOW) ensure -- from WEL_WINDOW registered: is_registered feature -- Style Lvs_alignleft: INTEGER_32 = 2048 -- Items are left-aligned in icon and small icon view. -- -- Declared in Windows as LVS_ALIGNLEFT -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_aligntop: INTEGER_32 = 0 -- Items are aligned with the top of the list view control in -- icon and small icon view. -- -- Declared in Windows as LVS_ALIGNTOP -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_autoarrange: INTEGER_32 = 256 -- Icons are automatically kept arranged in icon and small icon -- view. -- -- Declared in Windows as LVS_AUTOARRANGE -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_editlabels: INTEGER_32 = 512 -- Item text can be edited in place. The parent window must -- process the LVN_ENDLABELEDIT notification message. -- -- Declared in Windows as LVS_EDITLABELS -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_icon: INTEGER_32 = 0 -- This style specifies icon view. -- -- Declared in Windows as LVS_ICON -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_list: INTEGER_32 = 3 -- This style specifies list view. -- -- Declared in Windows as LVS_LIST -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_nocolumnheader: INTEGER_32 = 16384 -- Declared in Windows as LVS_NOCOLUMNHEADER -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_nolabelwrap: INTEGER_32 = 128 -- Item text is displayed on a single line in icon view. By -- default, item text may wrap in icon view. -- -- Declared in Windows as LVS_NOLABELWRAP -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_noscroll: INTEGER_32 = 8192 -- Scrolling is disabled. All items must be within the client -- area. This style is not compatible with the LVS_LIST or -- LVS_REPORT styles. -- -- Declared in Windows as LVS_NOSCROLL -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_nosortheader: INTEGER_32 = 32768 -- Column headers do not work like buttons. This style can be -- used if clicking a column header in report view does not -- carry out an action, such as sorting. -- -- Declared in Windows as LVS_NOSORTHEADER -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_ownerdrawfixed: INTEGER_32 = 1024 -- The owner window can paint items in report view. The list -- view control sends a WM_DRAWITEM message to paint each item; -- it does not send separate messages for each subitem. The -- itemData member of the DRAWITEMSTRUCT structure contains the -- item data for the specified list view item. -- -- Declared in Windows as LVS_OWNERDRAWFIXED -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_report: INTEGER_32 = 1 -- This style specifies report view. When using the LVS_REPORT -- style with a list view control, the first column is always -- left-aligned. You cannot use LVCFMT_RIGHT to change this -- alignment. See LVCOLUMN for further information on column -- alignment. -- -- Declared in Windows as LVS_REPORT -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_shareimagelists: INTEGER_32 = 64 -- The image list will not be deleted when the control is -- destroyed. This style enables the use of the same image lists -- with multiple list view controls. -- -- Declared in Windows as LVS_SHAREIMAGELISTS -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_showselalways: INTEGER_32 = 8 -- The selection, if any, is always shown, even if the control -- does not have the focus. -- -- Declared in Windows as LVS_SHOWSELALWAYS -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_singlesel: INTEGER_32 = 4 -- Only one item at a time can be selected. By default, multiple -- items may be selected. -- -- Declared in Windows as LVS_SINGLESEL -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_smallicon: INTEGER_32 = 2 -- This style specifies small icon view. -- -- Declared in Windows as LVS_SMALLICON -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_sortascending: INTEGER_32 = 16 -- Item indices are sorted based on item text in ascending -- order. -- -- Declared in Windows as LVS_SORTASCENDING -- (from WEL_LIST_VIEW_CONSTANTS) Lvs_sortdescending: INTEGER_32 = 32 -- Item indices are sorted based on item text in descending -- order. -- -- Declared in Windows as LVS_SORTDESCENDING -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Tooltip Flag constants Ttf_centertip: INTEGER_32 = 2 -- (from WEL_TOOLTIP_CONSTANTS) Ttf_idishwnd: INTEGER_32 = 1 -- (from WEL_TOOLTIP_CONSTANTS) Ttf_rtlreading: INTEGER_32 = 4 -- (from WEL_TOOLTIP_CONSTANTS) Ttf_subclass: INTEGER_32 = 16 -- (from WEL_TOOLTIP_CONSTANTS) feature -- Tooltip message constants ttm_activate: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_addtool: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_deltool: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_enumtools: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_getcurrenttool: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_getdelaytime: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_getmaxtipwidth: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettext: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettipbkcolor: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettiptextcolor: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettoolcount: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_gettoolinfo: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_hittest: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_newtoolrect: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_relayevent: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_setdelaytime: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_setmaxtipwidth: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_settipbkcolor: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_settiptextcolor: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_settoolinfo: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_updatetiptext: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttm_windowfrompoint: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) feature -- Tooltip style constants tts_alwaystip: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) tts_noprefix: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) feature -- Tooltip time delay constants ttdt_automatic: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttdt_autopop: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttdt_initial: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) ttdt_reshow: INTEGER_32 -- (from WEL_TOOLTIP_CONSTANTS) feature -- Validation is_valid_list_view_flag (a_flag: INTEGER_32): BOOLEAN -- Is a_flag a valid list view search flag? -- (from WEL_LIST_VIEW_CONSTANTS) valid_lvcfmt_constant (value: INTEGER_32): BOOLEAN -- Is value a valid lvcfmt constant? -- (from WEL_LIST_VIEW_CONSTANTS) valid_lvir_constant (value: INTEGER_32): BOOLEAN -- Is value a valid item lvir item bounding constant? -- (from WEL_LIST_VIEW_CONSTANTS) valid_lvis_constants (value: INTEGER_32): BOOLEAN -- Is value a valid "Item Styles" constant? -- (from WEL_LIST_VIEW_CONSTANTS) feature -- Version Constants Version_400: INTEGER_32 = 262144 -- version_400 <=> Microsoft Windows 95/Windows NT 4.0 -- (from WEL_WINDOWS_VERSION) Version_470: INTEGER_32 = 262214 -- version_470 <=> Microsoft Internet Explorer 3.x -- (from WEL_WINDOWS_VERSION) Version_471: INTEGER_32 = 262215 -- version_471 <=> Microsoft Internet Explorer 4.0 -- (from WEL_WINDOWS_VERSION) Version_472: INTEGER_32 = 262216 -- version_472 <=> Microsoft Internet Explorer 4.01 & Windows 98 -- (from WEL_WINDOWS_VERSION) Version_500: INTEGER_32 = 327680 -- version_500 (Shlwapi.dll) <=> Microsoft Internet Explorer 5 -- version_500 (Shell32.dll) <=> Microsoft Windows 2000 -- (from WEL_WINDOWS_VERSION) Version_580: INTEGER_32 = 327760 -- version_580 (Comctl32.dll) <=> Microsoft Internet Explorer 5 -- (from WEL_WINDOWS_VERSION) Version_581: INTEGER_32 = 327761 -- version_581 (Comctl32.dll)<=> Microsoft Windows 2000 -- (from WEL_WINDOWS_VERSION) Version_600: INTEGER_32 = 393216 -- version_600 (Comctl32.dll)<=> Microsoft Windows XP -- (from WEL_WINDOWS_VERSION) feature -- Windows Versions (output) version_number_string: STRING_8 -- String representing the version number using the following format --   <major_version>.<minor_version>.<build_number> for Windows NT, 2000, XP --   <major_version>.<minor_version> for Windows 95, 98, Me -- (from WEL_WINDOWS_VERSION) invariant -- from EV_WIDGET_I is_displayed_implies_show_requested: is_usable and is_displayed implies is_show_requested -- from EV_PICK_AND_DROPABLE_I user_interface_modes_mutually_exclusive: mode_is_pick_and_drop.to_integer + mode_is_drag_and_drop.to_integer + mode_is_target_menu.to_integer = 1 pebble_function_takes_two_integer_open_operands: attached pebble_function as l_pebble_function implies l_pebble_function.valid_operands ([1, 1]) -- from EV_ANY_I interface_coupled: is_usable implies interface /= Void and then attached_interface.implementation = Current base_make_called: is_usable implies base_make_called -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) -- from EV_POSITIONED_I minimum_width_positive_or_zero: is_usable implies minimum_width >= 0 minimum_height_positive_or_zero: is_usable implies minimum_height >= 0 -- from EV_DOCKABLE_SOURCE_I widget_or_item_source: not (widget_source_being_docked /= Void and item_source_being_docked /= Void) dock_executing: is_dock_executing implies widget_source_being_docked /= Void or item_source_being_docked /= Void -- from EV_DYNAMIC_LIST_I index_within_bounds: is_usable implies (index >= 0 and then index <= count + 1) note copyright: "Copyright (c) 1984-2018, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class EV_LIST_IMP
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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