Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
note description: "[ EiffelVision2 rich text. Windows 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_RICH_TEXT_IMP create make -- Initialize Current. require -- from EV_ANY_I True ensure -- from EV_ANY_I is_initialized: get_state_flag (Is_initialized_flag) feature -- Initialization default_ex_style: INTEGER_32 -- Extended windows style used to create Current. require -- from WEL_WINDOW True Default_style: INTEGER_32 -- Default style used to create the control require -- from WEL_WINDOW True require -- from EV_WIDGET_IMP True initialize_text_widget -- Initialize text widget. make -- 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 underlying native toolkit objects. -- Every descendant should exactly one a creation procedure make. -- Must call base_make. 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 set_default_minimum_size -- Called after creation. Set current size and -- notify parent. -- (from EV_TEXT_COMPONENT_IMP) 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) Aspect_x: INTEGER_32 = 40 -- Relative width of a device pixel -- used for line drawing -- (from WEL_CAPABILITIES_CONSTANTS) Aspect_x_y: INTEGER_32 = 44 -- Diagonal width of a device pixel -- used for line drawing -- (from WEL_CAPABILITIES_CONSTANTS) Aspect_y: INTEGER_32 = 42 -- Relative height of a device pixel -- used for line drawing -- (from WEL_CAPABILITIES_CONSTANTS) 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) Bits_pixel: INTEGER_32 = 12 -- Number of adjacent color bits for each pixel -- (from WEL_CAPABILITIES_CONSTANTS) c_local_lock (handle: POINTER): POINTER -- (from WEL_LOCK) c_local_unlock (handle: POINTER) -- (from WEL_LOCK) capture_enabled: BOOLEAN -- Is the mouse currently captured? -- See constants Capture_xxxx at the end of the class. -- (from EV_PICK_AND_DROPABLE_IMP) Cfe_autobackcolor: INTEGER_32 = 67108864 -- The text background color is the value -- of the containing control. -- (from WEL_CFE_CONSTANTS) Cfe_autocolor: INTEGER_32 = 1073741824 -- The text color is the return value of -- GetSysColor (COLOR_WINDOWTEXT). -- (from WEL_CFE_CONSTANTS) Cfe_bold: INTEGER_32 = 1 -- Characters are bold. -- (from WEL_CFE_CONSTANTS) Cfe_italic: INTEGER_32 = 2 -- Characters are italic. -- (from WEL_CFE_CONSTANTS) Cfe_protected: INTEGER_32 = 16 -- Characters are protected; an attempt to modify them -- will cause an EN_PROTECTED notification message. -- (from WEL_CFE_CONSTANTS) Cfe_strikeout: INTEGER_32 = 8 -- Characters are struck out. -- (from WEL_CFE_CONSTANTS) Cfe_underline: INTEGER_32 = 4 -- Characters are underlined. -- (from WEL_CFE_CONSTANTS) Cfm_backcolor: INTEGER_32 = 67108864 -- The crBackColor member is valid -- (from WEL_CFM_CONSTANTS) Cfm_bold: INTEGER_32 = 1 -- The CFE_BOLD value of the dwEffects member is valid. -- (from WEL_CFM_CONSTANTS) Cfm_charset: INTEGER_32 = 134217728 -- The bCharSet member is valid. -- (from WEL_CFM_CONSTANTS) Cfm_color: INTEGER_32 = 1073741824 -- The crTextColor member and the CFE_AUTOCOLOR value -- of the dwEffects member are valid. -- (from WEL_CFM_CONSTANTS) Cfm_face: INTEGER_32 = 536870912 -- The szFaceName member is valid. -- (from WEL_CFM_CONSTANTS) Cfm_italic: INTEGER_32 = 2 -- The CFE_ITALIC value of the dwEffects member is -- valid. -- (from WEL_CFM_CONSTANTS) Cfm_offset: INTEGER_32 = 268435456 -- The yOffset member is valid. -- (from WEL_CFM_CONSTANTS) Cfm_protected: INTEGER_32 = 16 -- The CFE_PROTECTED value of the dwEffects member is -- valid. -- (from WEL_CFM_CONSTANTS) Cfm_revauthor: INTEGER_32 = 32768 -- The bRevAuthor member is valid. -- (from WEL_CFM_CONSTANTS) Cfm_size: INTEGER_32 = -2147483648 -- The size member is valid. -- (from WEL_CFM_CONSTANTS) Cfm_spacing: INTEGER_32 = 2097152 -- The sSpacing member is valid. -- (from WEL_CFM_CONSTANTS) Cfm_strikeout: INTEGER_32 = 8 -- The CFE_STRIKEOUT value of the dwEffects member is -- valid. -- (from WEL_CFM_CONSTANTS) Cfm_underline: INTEGER_32 = 4 -- The CFE_UNDERLINE value of the dwEffects member is -- valid. -- (from WEL_CFM_CONSTANTS) Cfm_underlinetype: INTEGER_32 = 8388608 -- The bUnderlineType member is valid. -- (from WEL_CFM_CONSTANTS) Cfm_weight: INTEGER_32 = 4194304 -- The wWeight member is valid. -- (from WEL_CFM_CONSTANTS) Clip_caps: INTEGER_32 = 36 -- See class WEL_CLIPPING_CAPABILITIES_CONSTANTS -- (from WEL_CAPABILITIES_CONSTANTS) 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_resolution: INTEGER_32 = 108 -- Color resolution of the device in bits -- (from WEL_CAPABILITIES_CONSTANTS) Color_scrollbar: INTEGER_32 = 0 -- Scroll bar gray area. -- -- Declared in Windows as COLOR_SCROLLBAR -- (from WEL_COLOR_CONSTANTS) Color_table_start: STRING_32 = "{\colortbl ;" -- RTF string denoting start of color table. -- (from EV_RICH_TEXT_CONSTANTS_I) 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) 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_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 Curve_caps: INTEGER_32 = 28 -- See class WEL_CURVE_CAPABILITIES_CONSTANTS -- (from WEL_CAPABILITIES_CONSTANTS) Default_font: STRING_32 = "\cf1\highlight2\f0\fs" -- (from EV_RICH_TEXT_CONSTANTS_I) 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) Drag_and_drop_starting_movement: INTEGER_32 = 3 -- Pointer movement in pixels required to start a drag and drop. -- (from EV_SHARED_TRANSPORT_IMP) Driver_version: INTEGER_32 = 1 -- Version number of the device driver -- (from WEL_CAPABILITIES_CONSTANTS) Dt_bottom: INTEGER_32 = 8 -- Declared in Windows as DT_BOTTOM -- (from WEL_DT_CONSTANTS) Dt_calcrect: INTEGER_32 = 1024 -- Declared in Windows as DT_CALCRECT -- (from WEL_DT_CONSTANTS) Dt_center: INTEGER_32 = 1 -- Declared in Windows as DT_CENTER -- (from WEL_DT_CONSTANTS) Dt_expandtabs: INTEGER_32 = 64 -- Declared in Windows as DT_EXPANDTABS -- (from WEL_DT_CONSTANTS) Dt_externalleading: INTEGER_32 = 512 -- Declared in Windows as DT_EXTERNALLEADING -- (from WEL_DT_CONSTANTS) Dt_hideprefix: INTEGER_32 = 1048576 -- Declared in Windows as DT_HIDEPREFIX -- (from WEL_DT_CONSTANTS) Dt_internal: INTEGER_32 = 4096 -- Declared in Windows as DT_INTERNAL -- (from WEL_DT_CONSTANTS) Dt_left: INTEGER_32 = 0 -- Declared in Windows as DT_LEFT -- (from WEL_DT_CONSTANTS) Dt_noclip: INTEGER_32 = 256 -- Declared in Windows as DT_NOCLIP -- (from WEL_DT_CONSTANTS) Dt_noprefix: INTEGER_32 = 2048 -- Declared in Windows as DT_NOPREFIX -- (from WEL_DT_CONSTANTS) Dt_right: INTEGER_32 = 2 -- Declared in Windows as DT_RIGHT -- (from WEL_DT_CONSTANTS) Dt_singleline: INTEGER_32 = 32 -- Declared in Windows as DT_SINGLELINE -- (from WEL_DT_CONSTANTS) Dt_tabstop: INTEGER_32 = 128 -- Declared in Windows as DT_TABSTOP -- (from WEL_DT_CONSTANTS) Dt_top: INTEGER_32 = 0 -- Declared in Windows as DT_TOP -- (from WEL_DT_CONSTANTS) Dt_vcenter: INTEGER_32 = 4 -- Declared in Windows as DT_VCENTER -- (from WEL_DT_CONSTANTS) Dt_word_ellipsis: INTEGER_32 = 262144 -- Declared in Windows as DT_WORD_ELLIPSIS -- (from WEL_DT_CONSTANTS) Dt_wordbreak: INTEGER_32 = 16 -- Declared in Windows as DT_WORDBREAK -- (from WEL_DT_CONSTANTS) Eco_autohscroll: INTEGER_32 = 128 -- Same as ES_AUTOHSCROLL style. -- (from WEL_ECO_CONSTANTS) Eco_autovscroll: INTEGER_32 = 64 -- Same as ES_AUTOVSCROLL style. -- (from WEL_ECO_CONSTANTS) Eco_autowordselection: INTEGER_32 = 1 -- Automatic selection of word on doubleclick. -- (from WEL_ECO_CONSTANTS) Eco_nohidesel: INTEGER_32 = 256 -- Same as ES_NOHIDESEL style. -- (from WEL_ECO_CONSTANTS) Eco_readonly: INTEGER_32 = 2048 -- Same as ES_READONLY style. -- (from WEL_ECO_CONSTANTS) Eco_savesel: INTEGER_32 = 32768 -- Same as ES_SAVESEL style. -- (from WEL_ECO_CONSTANTS) Eco_selectionbar: INTEGER_32 = 16777216 -- Same as ES_SELECTIONBAR style. -- (from WEL_ECO_CONSTANTS) Eco_vertical: INTEGER_32 = 4194304 -- Same as ES_VERTICAL style. Available in -- Asian-language versions only. -- (from WEL_ECO_CONSTANTS) Eco_wantreturn: INTEGER_32 = 4096 -- Same as ES_WANTRETURN style. -- (from WEL_ECO_CONSTANTS) Ecoop_and: INTEGER_32 = 3 -- Retain only those current options that are also -- specified by fOptions. -- (from WEL_ECO_CONSTANTS) Ecoop_or: INTEGER_32 = 2 -- Combine the specified options with the current -- options. -- (from WEL_ECO_CONSTANTS) Ecoop_set: INTEGER_32 = 1 -- Set the options to those specified by fOptions. -- (from WEL_ECO_CONSTANTS) Ecoop_xor: INTEGER_32 = 4 -- Retain only those current options that are not -- specified by fOptions. -- (from WEL_ECO_CONSTANTS) Em_canpaste: INTEGER_32 = 1074 -- Declared in Windows as EM_CANPASTE -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_canundo: INTEGER_32 = 198 -- (from WEL_EM_CONSTANTS) Em_charfrompos: INTEGER_32 = 215 -- Declared in Windows as EM_CHARFROMPOS -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_displayband: INTEGER_32 = 1075 -- Declared in Windows as EM_DISPLAYBAND -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_emptyundobuffer: INTEGER_32 = 205 -- (from WEL_EM_CONSTANTS) Em_exgetsel: INTEGER_32 = 1076 -- Declared in Windows as EM_EXGETSEL -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_exlimittext: INTEGER_32 = 1077 -- Declared in Windows as EM_EXLIMITTEXT -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_exlinefromchar: INTEGER_32 = 1078 -- Declared in Windows as EM_EXLINEFROMCHAR -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_exsetsel: INTEGER_32 = 1079 -- Declared in Windows as EM_EXSETSEL -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_findtext: INTEGER_32 = 1080 -- Declared in Windows as EM_FINDTEXT -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_findtextex: INTEGER_32 = 1103 -- Declared in Windows as EM_FINDTEXTEX -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_findwordbreak: INTEGER_32 = 1100 -- Declared in Windows as EM_FINDWORDBREAK -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_fmtlines: INTEGER_32 = 200 -- (from WEL_EM_CONSTANTS) Em_formatrange: INTEGER_32 = 1081 -- Declared in Windows as EM_FORMATRANGE -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_getcharformat: INTEGER_32 = 1082 -- Declared in Windows as EM_GETCHARFORMAT -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_geteventmask: INTEGER_32 = 1083 -- Declared in Windows as EM_GETEVENTMASK -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_getfirstvisibleline: INTEGER_32 = 206 -- (from WEL_EM_CONSTANTS) Em_gethandle: INTEGER_32 = 189 -- (from WEL_EM_CONSTANTS) Em_getimecolor: INTEGER_32 = 1129 -- Declared in Windows as EM_GETIMECOLOR -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_getimeoptions: INTEGER_32 = 1131 -- Declared in Windows as EM_GETIMEOPTIONS -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_getlimittext: INTEGER_32 = 213 -- (from WEL_EM_CONSTANTS) Em_getline: INTEGER_32 = 196 -- (from WEL_EM_CONSTANTS) Em_getlinecount: INTEGER_32 = 186 -- (from WEL_EM_CONSTANTS) Em_getmodify: INTEGER_32 = 184 -- (from WEL_EM_CONSTANTS) Em_getoptions: INTEGER_32 = 1102 -- Declared in Windows as EM_GETOPTIONS -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_getparaformat: INTEGER_32 = 1085 -- Declared in Windows as EM_GETPARAFORMAT -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_getpasswordchar: INTEGER_32 = 210 -- (from WEL_EM_CONSTANTS) Em_getpunctuation: INTEGER_32 = 1125 -- Declared in Windows as EM_GETPUNCTUATION -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_getrect: INTEGER_32 = 178 -- (from WEL_EM_CONSTANTS) Em_getsel: INTEGER_32 = 176 -- (from WEL_EM_CONSTANTS) Em_getseltext: INTEGER_32 = 1086 -- Declared in Windows as EM_GETSELTEXT -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_gettextrange: INTEGER_32 = 1099 -- Declared in Windows as EM_GETTEXTRANGE -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_getthumb: INTEGER_32 = 190 -- (from WEL_EM_CONSTANTS) Em_gettypographyoptions: INTEGER_32 = 1227 -- (from WEL_EM_CONSTANTS) Em_getwordbreakproc: INTEGER_32 = 209 -- (from WEL_EM_CONSTANTS) Em_getwordbreakprocex: INTEGER_32 = 1104 -- Declared in Windows as EM_GETWORDBREAKPROCEX -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_getwordwrapmode: INTEGER_32 = 1127 -- Declared in Windows as EM_GETWORDWRAPMODE -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_hideselection: INTEGER_32 = 1087 -- Declared in Windows as EM_HIDESELECTION -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_limittext: INTEGER_32 = 197 -- (from WEL_EM_CONSTANTS) Em_linefromchar: INTEGER_32 = 201 -- (from WEL_EM_CONSTANTS) Em_lineindex: INTEGER_32 = 187 -- (from WEL_EM_CONSTANTS) Em_linelength: INTEGER_32 = 193 -- (from WEL_EM_CONSTANTS) Em_linescroll: INTEGER_32 = 182 -- (from WEL_EM_CONSTANTS) Em_pastespecial: INTEGER_32 = 1088 -- Declared in Windows as EM_PASTESPECIAL -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_posfromchar: INTEGER_32 = 214 -- Declared in Windows as EM_POSFROMCHAR -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_replacesel: INTEGER_32 = 194 -- (from WEL_EM_CONSTANTS) Em_requestresize: INTEGER_32 = 1089 -- Declared in Windows as EM_REQUESTRESIZE -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_scroll: INTEGER_32 = 181 -- (from WEL_EM_CONSTANTS) Em_scrollcaret: INTEGER_32 = 183 -- (from WEL_EM_CONSTANTS) Em_selectiontype: INTEGER_32 = 1090 -- Declared in Windows as EM_SELECTIONTYPE -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_setbkgndcolor: INTEGER_32 = 1091 -- Declared in Windows as EM_SETBKGNDCOLOR -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_setcharformat: INTEGER_32 = 1092 -- Declared in Windows as EM_SETCHARFORMAT -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_seteventmask: INTEGER_32 = 1093 -- Declared in Windows as EM_SETEVENTMASK -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_sethandle: INTEGER_32 = 188 -- (from WEL_EM_CONSTANTS) Em_setimecolor: INTEGER_32 = 1128 -- Declared in Windows as EM_SETIMECOLOR -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_setimeoptions: INTEGER_32 = 1130 -- Declared in Windows as EM_SETIMEOPTIONS -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_setlimittext: INTEGER_32 = 197 -- Declared in Windows as EM_SETLIMITTEXT -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_setmodify: INTEGER_32 = 185 -- (from WEL_EM_CONSTANTS) Em_setoptions: INTEGER_32 = 1101 -- Declared in Windows as EM_SETOPTIONS -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_setparaformat: INTEGER_32 = 1095 -- Declared in Windows as EM_SETPARAFORMAT -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_setpasswordchar: INTEGER_32 = 204 -- (from WEL_EM_CONSTANTS) Em_setpunctuation: INTEGER_32 = 1124 -- Declared in Windows as EM_SETPUNCTUATION -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_setreadonly: INTEGER_32 = 207 -- (from WEL_EM_CONSTANTS) Em_setrect: INTEGER_32 = 179 -- (from WEL_EM_CONSTANTS) Em_setrectnp: INTEGER_32 = 180 -- (from WEL_EM_CONSTANTS) Em_setsel: INTEGER_32 = 177 -- (from WEL_EM_CONSTANTS) Em_settabstops: INTEGER_32 = 203 -- (from WEL_EM_CONSTANTS) Em_settargetdevice: INTEGER_32 = 1096 -- Declared in Windows as EM_SETTARGETDEVICE -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_settypographyoptions: INTEGER_32 = 1226 -- (from WEL_EM_CONSTANTS) Em_setwordbreakproc: INTEGER_32 = 208 -- (from WEL_EM_CONSTANTS) Em_setwordbreakprocex: INTEGER_32 = 1105 -- Declared in Windows as EM_SETWORDBREAKPROCEX -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_setwordwrapmode: INTEGER_32 = 1126 -- Declared in Windows as EM_SETWORDWRAPMODE -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_streamin: INTEGER_32 = 1097 -- Declared in Windows as EM_STREAMIN -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_streamout: INTEGER_32 = 1098 -- Declared in Windows as EM_STREAMOUT -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) Em_undo: INTEGER_32 = 199 -- (from WEL_EM_CONSTANTS) En_change: INTEGER_32 = 768 -- (from WEL_EN_CONSTANTS) En_errspace: INTEGER_32 = 1280 -- (from WEL_EN_CONSTANTS) En_hscroll: INTEGER_32 = 1537 -- (from WEL_EN_CONSTANTS) En_killfocus: INTEGER_32 = 512 -- (from WEL_EN_CONSTANTS) En_maxtext: INTEGER_32 = 1281 -- (from WEL_EN_CONSTANTS) En_msgfilter: INTEGER_32 = 1792 -- (from WEL_EN_CONSTANTS) En_requestresize: INTEGER_32 = 1793 -- (from WEL_EN_CONSTANTS) En_selchange: INTEGER_32 = 1794 -- Declared in Windows as EN_SELCHANGE -- (from WEL_RICH_EDIT_MESSAGE_CONSTANTS) En_setfocus: INTEGER_32 = 256 -- (from WEL_EN_CONSTANTS) En_update: INTEGER_32 = 1024 -- (from WEL_EN_CONSTANTS) En_vscroll: INTEGER_32 = 1538 -- (from WEL_EN_CONSTANTS) Enm_change: INTEGER_32 = 1 -- (from WEL_ENM_CONSTANTS) Enm_correcttext: INTEGER_32 = 4194304 -- (from WEL_ENM_CONSTANTS) Enm_dropfiles: INTEGER_32 = 1048576 -- (from WEL_ENM_CONSTANTS) Enm_imechange: INTEGER_32 = 8388608 -- (from WEL_ENM_CONSTANTS) Enm_keyevents: INTEGER_32 = 65536 -- (from WEL_ENM_CONSTANTS) Enm_mouseevents: INTEGER_32 = 131072 -- (from WEL_ENM_CONSTANTS) Enm_none: INTEGER_32 = 0 -- (from WEL_ENM_CONSTANTS) Enm_protected: INTEGER_32 = 2097152 -- (from WEL_ENM_CONSTANTS) Enm_requestresize: INTEGER_32 = 262144 -- (from WEL_ENM_CONSTANTS) Enm_scroll: INTEGER_32 = 4 -- (from WEL_ENM_CONSTANTS) Enm_selchange: INTEGER_32 = 524288 -- (from WEL_ENM_CONSTANTS) Enm_update: INTEGER_32 = 2 -- (from WEL_ENM_CONSTANTS) Es_autohscroll: INTEGER_32 = 128 -- (from WEL_ES_CONSTANTS) Es_autovscroll: INTEGER_32 = 64 -- (from WEL_ES_CONSTANTS) Es_center: INTEGER_32 = 1 -- (from WEL_ES_CONSTANTS) Es_disablenoscroll: INTEGER_32 = 8192 -- Disables scrollbars instead of hiding them when they -- are not needed. -- (from WEL_RICH_EDIT_STYLE_CONSTANTS) Es_ex_nocalloleinit: INTEGER_32 = 16777216 -- Prevents the control from calling the OleInitialize function -- when created. This window style is useful only in dialog -- templates because CreateWindowEx does not accept this style. -- -- Declared in Windows as ES_EX_NOCALLOLEINIT -- (from WEL_RICH_EDIT_STYLE_CONSTANTS) Es_left: INTEGER_32 = 0 -- (from WEL_ES_CONSTANTS) Es_lowercase: INTEGER_32 = 16 -- (from WEL_ES_CONSTANTS) Es_multiline: INTEGER_32 = 4 -- (from WEL_ES_CONSTANTS) Es_nohidesel: INTEGER_32 = 256 -- (from WEL_ES_CONSTANTS) Es_noime: INTEGER_32 = 524288 -- Disables the input method editor (IME) operation. -- Available for Asian-languages only. -- (from WEL_RICH_EDIT_STYLE_CONSTANTS) Es_oemconvert: INTEGER_32 = 1024 -- (from WEL_ES_CONSTANTS) Es_password: INTEGER_32 = 32 -- (from WEL_ES_CONSTANTS) Es_readonly: INTEGER_32 = 2048 -- (from WEL_ES_CONSTANTS) Es_right: INTEGER_32 = 2 -- (from WEL_ES_CONSTANTS) Es_savesel: INTEGER_32 = 32768 -- Preserves the selection when the control loses the -- focus. By default, the entire contents of the -- control are selected when it regains the focus. -- (from WEL_RICH_EDIT_STYLE_CONSTANTS) Es_selfime: INTEGER_32 = 262144 -- Directs the rich edit control to allow the -- application to handle all IME operations. -- Available for Asian-languages only. -- (from WEL_RICH_EDIT_STYLE_CONSTANTS) Es_sunken: INTEGER_32 = 16384 -- Displays the control with a sunken border style so -- that the rich edit control appears recessed into -- its parent window. Applications developed for -- Windows 95 should use WS_EX_CLIENTEDGE instead of -- ES_SUNKEN. -- (from WEL_RICH_EDIT_STYLE_CONSTANTS) Es_uppercase: INTEGER_32 = 8 -- (from WEL_ES_CONSTANTS) Es_vertical: INTEGER_32 = 4194304 -- Draws text and objects in a vertical direction. -- Available for Asian-languages only. -- (from WEL_RICH_EDIT_STYLE_CONSTANTS) Es_wantreturn: INTEGER_32 = 4096 -- (from WEL_ES_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 first_visible_line: INTEGER_32 -- First visible line current being displayed. -- (from EV_TEXT_IMP) require -- from EV_TEXT_I True ensure -- from EV_TEXT_I valid_line_index: valid_line_index (Result) Focus_on_widget: CELL [detachable EV_WIDGET_IMP] -- Widget that has currently the focus. -- (from EV_WIDGET_IMP) font: EV_FONT -- Font of Current. -- (from EV_FONTABLE_IMP) require -- from EV_FONTABLE_I True ensure -- from EV_FONTABLE_I not_void: Result /= Void wel_font: WEL_FONT -- Font with which the control is drawing its text. -- (from WEL_CONTROL) require -- from EV_FONTABLE_IMP True require -- from EV_TEXT_COMPONENT_IMP True require -- from WEL_CONTROL exists: exists ensure -- from WEL_CONTROL result_not_void: Result /= Void Font_table_start: STRING_32 = "{\rtf1\ansi\ansicpg1252\uc1\deff0\deflang1033{\fonttbl" -- RTF string denoting start of font table. -- (from EV_RICH_TEXT_CONSTANTS_I) 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 Fr_matchcase: INTEGER_32 = 4 -- Case sensitive search -- (from WEL_FIND_FLAGS_CONSTANTS) Fr_wholeword: INTEGER_32 = 2 -- Whole word search -- (from WEL_FIND_FLAGS_CONSTANTS) generating_type: TYPE [detachable EV_RICH_TEXT_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 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) has_word_wrapping: BOOLEAN -- Is word wrapping enabled? -- If enabled, lines that are too long to be displayed -- in Current will be wrapped onto new lines. -- If disabled, a horizontal scroll bar will be displayed -- and lines will not be wrapped. -- (from EV_TEXT_IMP) require -- from EV_TEXT_I True 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 Himetric_per_inch: INTEGER_32 = 2540 -- Defined as HIMETRIC_PER_INCH in AtlWin.h -- (from WEL_UNIT_CONVERSION) Horizontal_resolution: INTEGER_32 = 8 -- Width of the display, in pixels -- (from WEL_CAPABILITIES_CONSTANTS) Horizontal_size: INTEGER_32 = 4 -- Width of the physical display in millimeters -- (from WEL_CAPABILITIES_CONSTANTS) 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) 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) insert_text (txt: READABLE_STRING_GENERAL) -- Insert txt at caret_position. -- (from EV_TEXT_IMP) require -- from EV_TEXT_COMPONENT_I valid_text: txt /= Void require -- from WEL_RICH_EDIT exists: exists a_text_not_void: txt /= Void internal_font: EV_FONT -- Font of Current for internal queries. -- Faster than calling font as we do not need to -- create a new EV_FONT every time. -- (from EV_FONTABLE_IMP) internal_font_height: INTEGER_32 -- Height required to correctly display font of Current in pixels. -- (from EV_FONTABLE_IMP) require -- from EV_TEXT_COMPONENT_IMP True ensure -- from EV_FONTABLE_IMP result_non_negative: Result >= 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) wel_item: POINTER -- Generic Windows handle or structure pointer. -- Can be a HWND, HICON, RECT *, WNDCLASS *, etc... -- (from WEL_ANY) 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) line (i: INTEGER_32): STRING_32 -- Result is content of the ith line. -- (from EV_TEXT_IMP) require -- from EV_TEXT_I valid_line: valid_line_index (i) ensure -- from EV_TEXT_I result_not_void: Result /= Void Line_caps: INTEGER_32 = 30 -- See class WEL_LINE_CAPABILITIES_CONSTANTS -- (from WEL_CAPABILITIES_CONSTANTS) line_count: INTEGER_32 -- Number of lines of text in Current. -- (from EV_TEXT_IMP) ensure -- from EV_TEXT_I result_greater_zero: Result > 0 Logical_pixels_x: INTEGER_32 = 88 -- Number of pixels per logical inch along -- the display width -- (from WEL_CAPABILITIES_CONSTANTS) Logical_pixels_y: INTEGER_32 = 90 -- Number of pixels per logical inch along -- the display height -- (from WEL_CAPABILITIES_CONSTANTS) Maximum_buffered_string_size: INTEGER_32 = 10000 -- Maximum size of string permitting a shared WEL_STRING object to -- be returned by wel_string_restricted. -- (from WEL_SHARED_TEMPORARY_OBJECTS) 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 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) Num_brushes: INTEGER_32 = 16 -- Number of device-specific brushes -- (from WEL_CAPABILITIES_CONSTANTS) Num_colors: INTEGER_32 = 24 -- Number of entries in the device's color table -- (from WEL_CAPABILITIES_CONSTANTS) Num_fonts: INTEGER_32 = 22 -- Number of device-specific fonts -- (from WEL_CAPABILITIES_CONSTANTS) Num_markers: INTEGER_32 = 20 -- Number of device-specific markers -- (from WEL_CAPABILITIES_CONSTANTS) Num_pens: INTEGER_32 = 18 -- Number of device-specific pens -- (from WEL_CAPABILITIES_CONSTANTS) Num_reserved: INTEGER_32 = 106 -- Number of reserved entries in the system palette -- (from WEL_CAPABILITIES_CONSTANTS) 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) Pdevice_size: INTEGER_32 = 26 -- Size of the PDEVICE internal structure, in bytes -- (from WEL_CAPABILITIES_CONSTANTS) 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) Pfa_center: INTEGER_32 = 3 -- Paragraphs are centered. -- (from WEL_PFA_CONSTANTS) Pfa_full_interword: INTEGER_32 = 5 -- Paragraphs are justified by expanding blanks alone. -- (from WEL_PFA_CONSTANTS) Pfa_justify: INTEGER_32 = 4 -- Paragraphs are justified. -- (from WEL_PFA_CONSTANTS) Pfa_left: INTEGER_32 = 1 -- Paragraphs are aligned with the left margin. -- (from WEL_PFA_CONSTANTS) Pfa_right: INTEGER_32 = 2 -- Paragraphs are aligned with the right margin. -- (from WEL_PFA_CONSTANTS) Pfm_alignment: INTEGER_32 = 8 -- The wAlignment member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_border: INTEGER_32 = 2048 -- The wBorderSpace, wBorderWidth and wBorders members are valid. -- (from WEL_PFM_CONSTANTS) Pfm_linespacing: INTEGER_32 = 256 -- The dyLineSpacing member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_numbering: INTEGER_32 = 32 -- The wNumbering member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_numberingstart: INTEGER_32 = 32768 -- The wNumberingStart member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_numberingstyle: INTEGER_32 = 8092 -- The wNumberingStyle member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_numberingtab: INTEGER_32 = 16384 -- The wNumberingTab member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_offset: INTEGER_32 = 4 -- The dxStartIndent member is valid and specifies -- a relative value. -- (from WEL_PFM_CONSTANTS) Pfm_offsetindent: INTEGER_32 = -2147483648 -- The dxOffset member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_rightindent: INTEGER_32 = 2 -- The dxRightIndent member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_shading: INTEGER_32 = 4096 -- The wShadingStyle and wShadingWeight members arevalid. -- (from WEL_PFM_CONSTANTS) Pfm_spaceafter: INTEGER_32 = 128 -- The dySpaceAfter member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_spacebefore: INTEGER_32 = 64 -- The dySpaceBefore member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_startindent: INTEGER_32 = 1 -- The dxStartIndent member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_style: INTEGER_32 = 512 -- The sStyle member is valid. -- (from WEL_PFM_CONSTANTS) Pfm_tabstops: INTEGER_32 = 16 -- The cTabStobs and rgxTabStops members are valid. -- (from WEL_PFM_CONSTANTS) Physical_offset_x: INTEGER_32 = 112 -- Distance from left edge of the printable area, in -- device units. -- (from WEL_CAPABILITIES_CONSTANTS) Physical_offset_y: INTEGER_32 = 113 -- Distance from top edge of the printable area, in -- device units. -- (from WEL_CAPABILITIES_CONSTANTS) Planes: INTEGER_32 = 14 -- Number of color planes -- (from WEL_CAPABILITIES_CONSTANTS) 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 Polygonal_caps: INTEGER_32 = 32 -- See class WEL_POLYGONAL_CAPABILITIES_CONSTANTS -- (from WEL_CAPABILITIES_CONSTANTS) Raster_caps: INTEGER_32 = 38 -- See class WEL_RASTER_CAPABILITIES_CONSTANTS -- (from WEL_CAPABILITIES_CONSTANTS) 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) Rtf_backslash: STRING_32 = "\\" -- String denoting RTF backslash. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_blue: STRING_32 = "blue" -- String denoting blue component of a RTF color. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_bold_string: STRING_32 = "b" -- String denoting bold in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_charset: STRING_32 = "fcharset" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_close_brace: STRING_32 = "\}" -- String denoting RTF close brace. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_close_brace_character: CHARACTER_8 = '}' -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_color_string: STRING_32 = "cf" -- String denoting color in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_colortbl: STRING_32 = "colortbl" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_control_character: CHARACTER_8 = '\' -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_modern: STRING_32 = "fmodern" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_modern_int: INTEGER_32 = 5 -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_nill: STRING_32 = "fnill" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_nill_int: INTEGER_32 = 6 -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_roman: STRING_32 = "froman" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_roman_int: INTEGER_32 = 2 -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_script: STRING_32 = "fscript" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_script_int: INTEGER_32 = 4 -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_swiss: STRING_32 = "fswiss" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_swiss_int: INTEGER_32 = 3 -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_tech: STRING_32 = "ftech" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_family_tech_int: INTEGER_32 = 1 -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_font_charset: STRING_32 = "fcharset" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_font_size_string: STRING_32 = "fs" -- String denoting font size in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_font_string: STRING_32 = "f" -- String denoting font index in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_fonttable: STRING_32 = "fonttbl" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_green: STRING_32 = "green" -- String denoting green component of a RTF color. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_highlight_string: STRING_32 = "highlight" -- String denoting highlighting color in RFT. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_info: STRING_32 = "info" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_italic_string: STRING_32 = "i" -- String denoting italic in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_new_paragraph: STRING_32 = "pard" -- String denoting start of standard paragraph. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_newline: STRING_32 = "par" -- String denoting RTF newline. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_open_brace: STRING_32 = "\{" -- String denoting RTF open brace. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_open_brace_character: CHARACTER_8 = '{' -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_paragraph_center_aligned: STRING_32 = "qc" -- String denoting start of center aligned paragraph. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_paragraph_justified: STRING_32 = "qj" -- String denoting start of justified paragraph. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_paragraph_left_aligned: STRING_32 = "ql" -- String denoting start of left aligned paragraph. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_paragraph_left_indent: STRING_32 = "li" -- String denoting left indent of paragraph. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_paragraph_right_aligned: STRING_32 = "qr" -- String denoting start of right aligned paragraph. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_paragraph_right_indent: STRING_32 = "ri" -- String denoting right indent of paragraph. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_paragraph_space_after: STRING_32 = "sa" -- String denoting space after paragraph. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_paragraph_space_before: STRING_32 = "sb" -- String denoting space before paragraph. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_red: STRING_32 = "red" -- String denoting red component of a RTF color. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_strikeout_string: STRING_32 = "strike" -- String denoting striked out in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_stylesheet: STRING_32 = "stylesheet" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_underline_none_string: STRING_32 = "ulnone" -- String denoting end of underlined in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_underline_string: STRING_32 = "ul" -- String denoting underlined in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_unicode_character: STRING_32 = "\u" -- String denoting starting of a Unicode character. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_unicode_string: STRING_32 = "u" -- String denoting underlined in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_user_props: STRING_32 = "*" -- (from EV_RICH_TEXT_CONSTANTS_I) Rtf_vertical_offset: STRING_32 = "up" -- String denoting start of vertical offset in RTF. -- (from EV_RICH_TEXT_CONSTANTS_I) 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) Scaling_factor_x: INTEGER_32 = 114 -- Scaling factor for the x-axis of the printer. -- (from WEL_CAPABILITIES_CONSTANTS) Scaling_factor_y: INTEGER_32 = 115 -- Scaling factor for the y-axis of the printer. -- (from WEL_CAPABILITIES_CONSTANTS) Scf_all: INTEGER_32 = 4 -- Apply format to all text. -- (from WEL_SCF_CONSTANTS) Scf_selection: INTEGER_32 = 1 -- Apply format to selection only. -- (from WEL_SCF_CONSTANTS) Scf_word: INTEGER_32 = 2 -- Apply format to word only. -- (from WEL_SCF_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 Sf_rtf: INTEGER_32 = 2 -- Rich-text format (RTF). -- (from WEL_SF_CONSTANTS) Sf_rtfnoobjs: INTEGER_32 = 3 -- RTF with spaces in place of OLE object. -- (from WEL_SF_CONSTANTS) Sf_text: INTEGER_32 = 1 -- Text with spaces in place of OLE objects. -- (from WEL_SF_CONSTANTS) Sf_textized: INTEGER_32 = 4 -- Text with a text representation of OLE objects. -- (from WEL_SF_CONSTANTS) Sf_unicode: INTEGER_32 = 16 -- Unicode file of some kind, version 2.0+ only. -- (from WEL_SF_CONSTANTS) Sff_selection: INTEGER_32 = 32768 -- Selection only. -- (from WEL_SF_CONSTANTS) silly_window: WEL_SILLY_WINDOW -- Window that receives some private messages for WEL to work properly. -- (from WEL_RESIZING_SUPPORT) Size_palette: INTEGER_32 = 104 -- Number of entries in the system palette -- (from WEL_CAPABILITIES_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) Space_string: STRING_32 = " " -- String denoting empty space. -- (from EV_RICH_TEXT_CONSTANTS_I) Ss_bitmap: INTEGER_32 = 14 -- (from WEL_SS_CONSTANTS) Ss_blackframe: INTEGER_32 = 7 -- (from WEL_SS_CONSTANTS) Ss_blackrect: INTEGER_32 = 4 -- (from WEL_SS_CONSTANTS) Ss_center: INTEGER_32 = 1 -- (from WEL_SS_CONSTANTS) Ss_centerimage: INTEGER_32 = 512 -- (from WEL_SS_CONSTANTS) Ss_grayframe: INTEGER_32 = 8 -- (from WEL_SS_CONSTANTS) Ss_grayrect: INTEGER_32 = 5 -- (from WEL_SS_CONSTANTS) Ss_icon: INTEGER_32 = 3 -- (from WEL_SS_CONSTANTS) Ss_left: INTEGER_32 = 0 -- (from WEL_SS_CONSTANTS) Ss_leftnowordwrap: INTEGER_32 = 12 -- (from WEL_SS_CONSTANTS) Ss_noprefix: INTEGER_32 = 128 -- (from WEL_SS_CONSTANTS) Ss_notify: INTEGER_32 = 256 -- (from WEL_SS_CONSTANTS) Ss_ownerdraw: INTEGER_32 = 13 -- (from WEL_SS_CONSTANTS) Ss_right: INTEGER_32 = 2 -- (from WEL_SS_CONSTANTS) Ss_simple: INTEGER_32 = 11 -- (from WEL_SS_CONSTANTS) Ss_useritem: INTEGER_32 = 10 -- (from WEL_SS_CONSTANTS) Ss_whiteframe: INTEGER_32 = 9 -- (from WEL_SS_CONSTANTS) Ss_whiterect: INTEGER_32 = 6 -- (from WEL_SS_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) Technology: INTEGER_32 = 2 -- Device technology. -- See class WEL_DEVICE_TECHNOLOGY_CONSTANTS -- (from WEL_CAPABILITIES_CONSTANTS) Text_caps: INTEGER_32 = 34 -- See class WEL_TEXT_CAPABILITIES_CONSTANTS -- (from WEL_CAPABILITIES_CONSTANTS) To_advancedtypography: INTEGER_32 = 1 -- Advanced typography settings for use with Em_settypographyoptions and -- Em_gettypographyoptions. -- (from WEL_EM_CONSTANTS) To_simplelinebreak: INTEGER_32 = 2 -- Simple line settings for use with Em_settypographyoptions and -- Em_gettypographyoptions. -- (from WEL_EM_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) Vertical_resolution: INTEGER_32 = 10 -- Height of the display, in raster lines -- (from WEL_CAPABILITIES_CONSTANTS) Vertical_size: INTEGER_32 = 6 -- Height of the physical display in millimeters -- (from WEL_CAPABILITIES_CONSTANTS) View_text: STRING_32 = "\viewkind4\uc1\pard" -- A STRING constant representing the view type of the RTF document. -- (from EV_RICH_TEXT_CONSTANTS_I) 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) Wel_rect: WEL_RECT -- Once access to an object of type WEL_RECT -- (from WEL_SHARED_TEMPORARY_OBJECTS) Wel_string: WEL_STRING -- Once access to an object of type WEL_STRING -- (from WEL_SHARED_TEMPORARY_OBJECTS) wel_string_from_string (s: READABLE_STRING_GENERAL): WEL_STRING -- Return a shared wel string set to s if -- s.count < Maximum_buffered_string_size, otherwise -- return a new WEL_STRING object set to s. -- (from WEL_SHARED_TEMPORARY_OBJECTS) require -- from WEL_SHARED_TEMPORARY_OBJECTS s_not_void: s /= Void wel_string_from_string_with_newline_conversion (s: READABLE_STRING_GENERAL): WEL_STRING -- Return a shared wel string set to s if -- s.count < Maximum_buffered_string_size, otherwise -- return a new WEL_STRING object set to s. -- Make sure all lone '%N' characters are prepended with a carriage return '%R'. -- (from WEL_SHARED_TEMPORARY_OBJECTS) require -- from WEL_SHARED_TEMPORARY_OBJECTS s_not_void: s /= Void wel_string_restricted (characters: INTEGER_32): WEL_STRING -- Return shared Wel_string as Result if characters -- is less than Maximum_buffered_string_size, otherwise return a -- new WEL_STRING object. This is used to prevent huge strings -- from being kept within a system. -- (from WEL_SHARED_TEMPORARY_OBJECTS) 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 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 (other: EV_RICH_TEXT_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_RICH_TEXT_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 (other: EV_RICH_TEXT_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_gdip: detachable WEL_GDIP_BRUSH -- GDI+ version of background_brush -- Result void if GDI+ not available -- (from WEL_WINDOW) buffer_locked_in_append_mode: BOOLEAN -- Is buffered appending underway? -- (from EV_RICH_TEXT_I) buffer_locked_in_format_mode: BOOLEAN -- Is buffered formatting underway? -- (from EV_RICH_TEXT_I) can_undo: BOOLEAN -- Can the last operation be undone? -- (from WEL_EDIT) require -- from WEL_EDIT exists: exists 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 caret_position: INTEGER_32 -- Current position of caret. -- (from EV_TEXT_COMPONENT_IMP) require -- from EV_TEXT_COMPONENT_I True wel_caret_position: INTEGER_32 -- Caret position -- (from WEL_RICH_EDIT) require -- from WEL_EDIT exists: exists character_displayed (an_index: INTEGER_32): BOOLEAN -- Is character an_index currently visible in Current? require -- from EV_RICH_TEXT_I index_valid: an_index >= 1 and an_index <= text_length ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection character_format (caret_index: INTEGER_32): EV_CHARACTER_FORMAT -- Result is character format at caret position caret_index require -- from EV_RICH_TEXT_I valid_character_index: caret_index >= 1 and caret_index <= text_length + 1 ensure -- from EV_RICH_TEXT_I result_not_void: Result /= Void text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection character_format_contiguous (start_index, end_index: INTEGER_32): BOOLEAN -- Is formatting from caret position start_index to end_index contiguous? require -- from EV_RICH_TEXT_I valid_character_index: start_index >= 1 and end_index <= text_length + 1 and start_index <= end_index ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection character_format_range_information (start_index, end_index: INTEGER_32): EV_CHARACTER_FORMAT_RANGE_INFORMATION -- Formatting range information from caret position start_index to end_index. -- All attributes in Result are set to True if they remain consitent from start_index to --end_index and False otherwise. -- Result is a snapshot of Current, and does not remain consistent as the contents -- are subsequently changed. require -- from EV_RICH_TEXT_I valid_character_index: start_index >= 1 and end_index <= text_length + 1 and start_index <= end_index ensure -- from EV_RICH_TEXT_I result_not_void: Result /= Void text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection character_index_from_position (a_x, a_y: INTEGER_32): INTEGER_32 -- Zero-based character index of the character which is -- the nearest to a_x and a_y position in the client -- area. -- A returned coordinate can be negative if the -- character has been scrolled outside the edit -- control's client area. The coordinates are truncated -- to integer values and are in screen units relative -- to the upper-left corner of the client area of the -- control. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists a_x_large_enough: a_x >= 0 a_y_large_enough: a_y >= 0 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 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) complete_loading -- Restore Current back to its default state before last call -- to initialize_for_loading. complete_saving -- Restore Current back to its default state before last call -- to initialize_for_saving. 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 count: INTEGER_32 -- Length of text. -- (from WEL_RICH_EDIT) current_line_index: INTEGER_32 -- Index of the line that contains the caret. -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists ensure -- from WEL_MULTIPLE_LINE_EDIT positive_result: Result >= 0 wel_current_line_number: INTEGER_32 -- Line number of the line that contains the caret. -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists ensure -- from WEL_MULTIPLE_LINE_EDIT positive_result: Result >= 0 result_small_enough: Result < wel_line_count current_selection_character_format: WEL_CHARACTER_FORMAT -- Current selection character format information -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists ensure -- from WEL_RICH_EDIT result_not_void: Result /= Void 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) default_character_format: WEL_CHARACTER_FORMAT -- Default character format information -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists ensure -- from WEL_RICH_EDIT result_not_void: Result /= Void 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) enabled: BOOLEAN -- Is the window enabled for mouse and keyboard input? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists 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 end_selection: INTEGER_32 -- Caret position of the end of selected text if any, -- otherwise caret_position. -- (from EV_TEXT_COMPONENT_IMP) require -- from EV_TEXT_COMPONENT_I True ensure -- from EV_TEXT_COMPONENT_I result_large_enough: Result >= 1 result_small_enough: Result <= text_length + 1 consistent_with_selection_end: end_selection >= Result event_mask: INTEGER_32 -- Event mask which specifies notification message the -- control sends to its parent window. -- See class WEL_ENM_CONSTANTS for values. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT 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 WEL_COLOR_CONTROL True require -- from EV_WIDGET_IMP True ensure -- from WEL_ANY Result = (wel_item /= default_pointer) first_position_from_line_number (a_line: INTEGER_32): INTEGER_32 -- Position of the first character on the i-th line. require -- from EV_TEXT_I valid_line: valid_line_index (a_line) ensure -- from EV_TEXT_I valid_caret_position: valid_caret_position (a_line) wel_first_visible_line: INTEGER_32 -- Upper most visible line -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists ensure -- from WEL_MULTIPLE_LINE_EDIT positive_result: Result >= 0 result_small_enough: Result < wel_line_count flag_set (flags, mask: INTEGER_32): BOOLEAN -- Is mask set in flags? -- (from WEL_BIT_OPERATIONS) 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) formatting_rect: WEL_RECT -- Limiting rectangle the text. It is independent of -- the size of the edit-control window. -- (from WEL_EDIT) require -- from WEL_EDIT exists: exists ensure -- from WEL_EDIT result_not_void: Result /= Void 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_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 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_selection: BOOLEAN -- Has a current selection? -- (from WEL_RICH_EDIT) require -- from EV_TEXT_COMPONENT_I True require -- from WEL_EDIT 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) index_from_position (an_x_position, a_y_position: INTEGER_32): INTEGER_32 -- Index of character closest to position x_position, y_position. require -- from EV_RICH_TEXT_I position_valid: an_x_position >= 0 and an_x_position <= width and a_y_position >= 0 and a_y_position <= height ensure -- from EV_RICH_TEXT_I index_valid: Result >= 1 and Result <= text_length text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection initialize_for_loading -- Initialize Current for load operations, by performing -- optimizations that prevent the control from slowing down due to -- unecessary optimizations. initialize_for_saving -- Initialize Current for save operations, by performing -- optimizations that prevent the control from slowing down due to -- unecessary optimizations. require -- from EV_RICH_TEXT_I True require -- from EV_RICH_TEXT_BUFFERING_STRUCTURES_I True internal_character_format (pos: INTEGER_32): EV_CHARACTER_FORMAT_I -- Result is character format at position pos. On some platforms -- this may be optimized to take the selected character format and therefore -- should only be used by next_change_of_character. require -- from EV_RICH_TEXT_I valid_character_index: pos >= 1 and pos <= text_length + 1 ensure -- from EV_RICH_TEXT_I result_not_void: Result /= Void internal_character_format_contiguous (start_index, end_index: INTEGER_32): BOOLEAN -- Is formatting from caret position start_index to end_index contiguous? -- Internal version which permits optimizations as caret position and selection -- does not need to be restored. require -- from EV_RICH_TEXT_I valid_character_index: start_index >= 1 and end_index <= text_length + 1 and start_index <= end_index internal_non_sensitive: BOOLEAN -- Is Current not sensitive to input as seen -- from interface? -- (from EV_SENSITIVE_I) internal_paragraph_format (caret_index: INTEGER_32): EV_PARAGRAPH_FORMAT -- Result is paragraph_format at caret position caret_index. require -- from EV_RICH_TEXT_I valid_character_index: caret_index >= 1 and caret_index <= text_length + 1 ensure -- from EV_RICH_TEXT_I result_not_void: Result /= Void internal_paragraph_format_contiguous (start_position, end_position: INTEGER_32): BOOLEAN -- Is paragraph formatting from caret_position start_position to end_position contiguous? require -- from EV_RICH_TEXT_I valid_character_index: start_position >= 1 and end_position <= text_length + 1 and start_position <= end_position internal_selected_character_format: EV_CHARACTER_FORMAT -- Implementation for selected_character_format. No preconditions permit -- calling even when there is no selection as required by some implementation -- features. ensure result_not_void: Result /= Void internal_selected_character_format_i: EV_CHARACTER_FORMAT_IMP -- Implementation for selected_character_format. No preconditions permit -- calling even when there is no selection as required by some implementation -- features. ensure result_not_void: Result /= Void internal_selected_paragraph_format: EV_PARAGRAPH_FORMAT -- Implementation for selected_paragraph_format. No preconditions permit -- calling even when there is no selection as required by some implementation -- features. ensure result_not_void: Result /= Void is_destroyed: BOOLEAN -- Is Current no longer usable? -- (from EV_ANY_I) is_editable: BOOLEAN -- Is text editable? -- (from EV_TEXT_COMPONENT_IMP) require -- from EV_TEXT_COMPONENT_I True 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_replacing_nl_by_crnl: BOOLEAN -- Does current text control converts %N into %R%N? require -- from EV_TEXT_COMPONENT_IMP True 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}).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) last_position_from_line_number (a_line: INTEGER_32): INTEGER_32 -- Position of the last character on the i-th line. require -- from EV_TEXT_I valid_line: valid_line_index (a_line) ensure -- from EV_TEXT_I valid_caret_position: valid_caret_position (a_line) wel_line (i: INTEGER_32): STRING_32 -- ith line -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists i_large_enough: i >= 0 i_small_enough: i < wel_line_count ensure -- from WEL_MULTIPLE_LINE_EDIT result_exists: Result /= Void wel_line_count: INTEGER_32 -- Number of lines -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists ensure -- from WEL_MULTIPLE_LINE_EDIT positive_result: Result >= 0 line_from_char (i: INTEGER_32): INTEGER_32 -- Index of the line that contains the character -- index i. A character index is the number of -- characters from the beginning of the edit control. -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists ensure -- from WEL_MULTIPLE_LINE_EDIT positive_result: Result >= 0 line_index (i: INTEGER_32): INTEGER_32 -- Number of characters from the beginning of the edit -- control to the zero-based line i. -- Retrieve a character index for a given line number. -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists i_large_enough: i >= 0 i_small_enough: i < wel_line_count ensure -- from WEL_MULTIPLE_LINE_EDIT positive_result: Result >= 0 wel_line_index (i: INTEGER_32): INTEGER_32 -- Number of characters from the beginning of the edit -- control to the zero-based line i. -- Retrieve a character index for a given line number. -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists i_large_enough: i >= 0 i_small_enough: i < wel_line_count ensure -- from WEL_MULTIPLE_LINE_EDIT positive_result: Result >= 0 line_length (i: INTEGER_32): INTEGER_32 -- Length of the ith line -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists i_large_enough: i >= 0 i_small_enough: i < wel_line_count ensure -- from WEL_MULTIPLE_LINE_EDIT positive_result: Result >= 0 result_ok: Result = wel_line (i).count wel_line_number_from_position (a_pos: INTEGER_32): INTEGER_32 -- Retrieves the line number from a character position. -- Line numbers start at 0. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists a_pos_large_enough: a_pos >= 0 line_number_from_position (i: INTEGER_32): INTEGER_32 -- Line containing caret position i. require -- from EV_TEXT_I valid_caret_position: valid_caret_position (i) ensure -- from EV_TEXT_I valid_line_number: Result >= 1 and Result <= line_count 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) modified: BOOLEAN -- Has the text been modified? -- (from WEL_EDIT) require -- from WEL_EDIT exists: exists 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) options: INTEGER_32 -- Give the current set of options. -- (from WEL_RICH_EDIT) paragraph_format (caret_index: INTEGER_32): EV_PARAGRAPH_FORMAT -- Result is paragraph_format at caret position caret_index. require -- from EV_RICH_TEXT_I valid_character_index: caret_index >= 1 and caret_index <= text_length + 1 ensure -- from EV_RICH_TEXT_I result_not_void: Result /= Void text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection paragraph_format_contiguous (start_position, end_position: INTEGER_32): BOOLEAN -- Is paragraph formatting from caret_position start_position to end_position contiguous? require -- from EV_RICH_TEXT_I valid_character_index: start_position >= 1 and end_position <= text_length + 1 and start_position <= end_position ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection paragraph_format_range_information (start_position, end_position: INTEGER_32): EV_PARAGRAPH_FORMAT_RANGE_INFORMATION -- Formatting range information from caret position start_position to end_position. -- All attributes in Result are set to True if they remain consitent from start_position to --end_position and False otherwise. -- Result is a snapshot of Current, and does not remain consistent as the contents -- are subsequently changed. require -- from EV_RICH_TEXT_I valid_character_index: start_position >= 1 and end_position <= text_length + 1 and start_position <= end_position ensure -- from EV_RICH_TEXT_I result_not_void: Result /= Void text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection 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) position_from_character_index (character_index: INTEGER_32): WEL_POINT -- Coordinates of a character at character_index in -- the client area. -- A returned coordinate can be negative if the -- character has been scrolled outside the edit -- control's client area. -- The coordinates are truncated to integer values and -- are in screen units relative to the upper-left -- corner of the client area of the control. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists index_large_enough: character_index >= 0 index_small_enough: character_index <= wel_text_length + 2 ensure -- from WEL_RICH_EDIT result_not_void: Result /= Void position_from_index (an_index: INTEGER_32): EV_COORDINATE -- Position of character at index an_index. require -- from EV_RICH_TEXT_I index_valid: an_index >= 1 and an_index <= text_length character_displayed: character_displayed (an_index) ensure -- from EV_RICH_TEXT_I position_valid: Result.x >= 0 and Result.x <= width and Result.y >= 0 and Result.y <= height text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection read_only: BOOLEAN -- Is the current edit control read-only? -- (from WEL_EDIT) require -- from EV_TEXT_COMPONENT_IMP True require -- from WEL_EDIT exists: exists 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) scroll_caret_at_selection: BOOLEAN -- Will the caret be scrolled at the selection after -- a call to set_selection? -- (from WEL_EDIT) selected_character_format: EV_CHARACTER_FORMAT -- Result is character format of current selection. -- If more than one format is contained in the selection, Result -- is the first of these formats. require -- from EV_RICH_TEXT_I has_selection: has_selection ensure -- from EV_RICH_TEXT_I result_not_void: Result /= Void text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection selected_paragraph_format: EV_PARAGRAPH_FORMAT -- Result is paragraph format of current selection. -- If more than one format is contained in the selection, Result -- is the first of these formats. require -- from EV_RICH_TEXT_I has_selection: has_selection ensure -- from EV_RICH_TEXT_I result_not_void: Result /= Void text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection selected_text: STRING_32 -- Text currently selected in Current. require -- from EV_TEXT_COMPONENT_I True require -- from WEL_RICH_EDIT exists: exists ensure -- from WEL_RICH_EDIT selected_text_not_void: Result /= Void valid_length: (create {UTF_CONVERTER}).utf_16_bytes_count (Result, 1, Result.count) // 2 = (wel_selection_end - wel_selection_start) selection: WEL_CHARACTER_RANGE -- Structure which contains the starting and ending -- character positions of the selection. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists wel_selection_end: INTEGER_32 -- Index of the last character selected -- (from WEL_RICH_EDIT) require -- from EV_TEXT_COMPONENT_IMP exists: exists require -- from WEL_EDIT exists: exists ensure -- from WEL_EDIT result_large_enough: Result >= 0 result_small_enough: Result <= wel_text_length wel_selection_start: INTEGER_32 -- Index of the first character selected -- (from WEL_RICH_EDIT) require -- from EV_TEXT_COMPONENT_IMP exists: exists require -- from WEL_EDIT exists: exists ensure -- from WEL_EDIT result_large_enough: Result >= 0 result_small_enough: Result <= wel_text_length 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) shown: BOOLEAN -- Is the window shown? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists 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 start_selection: INTEGER_32 -- Caret position of the start of selected text if any, -- otherwise caret_position. -- (from EV_TEXT_COMPONENT_IMP) require -- from EV_TEXT_COMPONENT_I True ensure -- from EV_TEXT_COMPONENT_I result_large_enough: Result >= 1 result_small_enough: Result <= text_length + 1 consistent_with_selection_start: Result >= start_selection 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 tab_positions: EV_ACTIVE_LIST [INTEGER_32] -- Width of each tab position in pixels, from left to right. -- All tab positions not included use tab_width. -- (from EV_RICH_TEXT_I) tab_width: INTEGER_32 -- Default width in pixels of each tab in Current. text: STRING_32 -- text of Current. require -- from EV_TEXTABLE_I True ensure -- from EV_TEXTABLE_I not_void: Result /= Void cloned: Result /= text wel_text: STRING_32 -- Contents of the rich edit control -- (from WEL_RICH_EDIT) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW result_not_void: Result /= Void text_at (i: INTEGER_32; n: INTEGER_32): STRING_32 -- Text of length n at position i. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists valid_length: n > 0 valid_index: wel_text.valid_index (i + 1) valid_length: wel_text.valid_index (i + n) wel_text_length: INTEGER_32 -- Text length -- (from WEL_WINDOW) require -- from EV_TEXT_COMPONENT_IMP exists: exists require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW positive_result: Result >= 0 wel_text_substring (nb: INTEGER_32): WEL_STRING -- nb code units of text retrieved as a string. -- (from WEL_RICH_EDIT) require -- from EV_TEXT_COMPONENT_IMP exists: exists require -- from WEL_WINDOW exists: exists valid_upper_bound: nb <= wel_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) user_is_sensitive: BOOLEAN -- Is the object sensitive to user input. -- (from EV_SENSITIVE_I) valid_caret_position (pos: INTEGER_32): BOOLEAN -- Is pos a valid position for the caret? -- (from EV_TEXT_COMPONENT_I) valid_color_constant (c: INTEGER_32): BOOLEAN -- Is c a valid color constant? -- (from WEL_COLOR_CONSTANTS) valid_hwnd_constant (c: POINTER): BOOLEAN -- Is c a valid hwnd constant? -- (from WEL_HWND_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) 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 implies (create {INTERNAL}).type_conforms_to ((create {INTERNAL}).dynamic_type (Result), (create {INTERNAL}).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 x: INTEGER_32 -- Window x position -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW wel_parent = Void implies Result = absolute_x y: INTEGER_32 -- Window y position -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW wel_parent = Void implies Result = absolute_y feature -- Status setting buffered_append (a_text: READABLE_STRING_GENERAL; format: EV_CHARACTER_FORMAT) -- Append a_text with format format to append buffer. -- To render buffer to Current, call flush_buffer which replaces current content, -- or flush_buffer_to which inserts the formatted text. -- format is not cloned internally and when buffer is flushed, its reference is -- used. Therefore, you must not modify format externally after passing to -- this procedure, otherwise all buffered appends that referenced the same format object -- will use its current value. require -- from EV_RICH_TEXT_I a_text_not_void: a_text /= Void format_not_void: format /= Void buffer_not_locked_for_format: not buffer_locked_in_format_mode ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) buffer_locked_for_append: buffer_locked_in_append_mode caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection buffered_format (start_pos, end_pos: INTEGER_32; format: EV_CHARACTER_FORMAT) -- Apply a character format format from caret positions start_position to end_position to -- format buffer. Call flush_buffer to apply buffered contents to Current. -- format is not cloned internally and when buffer is flushed, its reference is -- used. Therefore, you must not modify format externally after passing to -- this procedure, otherwise all buffered appends that referenced the same format object -- will use its current value. require -- from EV_RICH_TEXT_I valid_positions: start_pos <= end_pos and start_pos >= 1 and end_pos <= text_length + 1 format_not_void: format /= Void ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) buffer_locked_for_format: buffer_locked_in_format_mode caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection 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) 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_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_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_notifications -- Disable all notifications. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists ensure -- from WEL_RICH_EDIT no_notification: event_mask = Enm_none disable_pebble_positioning -- Assign False to pebble_positioning_enabled. -- (from EV_PICK_AND_DROPABLE_I) disable_scroll_caret_at_selection -- Set scroll_caret_at_selection to False. -- The caret will not be scrolled at the selection -- after a call to set_selection. -- (from WEL_EDIT) require -- from WEL_EDIT exists: exists ensure -- from WEL_EDIT scroll_caret_at_selection_disabled: not scroll_caret_at_selection disable_sensitive -- Set Current to insensitive mode. -- This means that any events with an -- event type of KeyPress, KeyRelease, -- ButtonPress, ButtonRelease, MotionNotify, -- EnterNotify, LeaveNotify, FocusIn or -- FocusOut will not be dispatched to current -- widget and to all its children.  Set it to -- sensitive mode otherwise. -- (from EV_WIDGET_IMP) 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 disable_word_wrapping -- Ensure has_word_wrap is False. require -- from EV_TEXT_I True ensure -- from EV_TEXT_I word_wrapping_disabled: not has_word_wrapping 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) enable_all_notifications -- Enable all notifications. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists 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_pebble_positioning -- Assign True to pebble_positioning_enabled. -- (from EV_PICK_AND_DROPABLE_I) enable_scroll_caret_at_selection -- Set scroll_caret_at_selection to True. -- The caret will be scrolled at the selection after -- a call to set_selection. -- (from WEL_EDIT) require -- from WEL_EDIT exists: exists ensure -- from WEL_EDIT scroll_caret_at_selection_enabled: scroll_caret_at_selection enable_sensitive -- Set Current to sensitive mode. -- (from EV_WIDGET_IMP) require -- from EV_SENSITIVE_I True enable_standard_notifications -- Enable the standard notifications. -- (Enm_change, Enm_update and Enm_scroll). -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists 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 enable_word_wrapping -- Ensure has_word_wrap is True. require -- from EV_TEXT_I True ensure -- from EV_TEXT_I word_wrapping_enabled: has_word_wrapping escape_pnd -- Escape the pick and drop. -- (from EV_PICK_AND_DROPABLE_IMP) ensure -- from EV_PICK_AND_DROPABLE_IMP not_in_transport: not transport_executing flush_buffer -- Flush any buffered operations. ensure -- from EV_RICH_TEXT_I buffer_not_locked: not buffer_locked_in_append_mode and not buffer_locked_in_format_mode caret_consistent: (old buffer_locked_in_append_mode implies caret_position = 1) or old buffer_locked_in_format_mode implies (caret_position = old caret_position) unselected: not has_selection flush_buffer_to (start_position, end_position: INTEGER_32) -- Replace contents of current from caret position start_position to end_position with -- contents of buffer, since it was last flushed. If start_position and end_position -- are equal, insert the contents of the buffer at caret position start_position. require -- from EV_RICH_TEXT_I buffer_locked_for_append: buffer_locked_in_append_mode start_position >= 1 and end_position <= text_length + 1 and start_position <= end_position ensure -- from EV_RICH_TEXT_I buffer_locked_for_append: not buffer_locked_in_append_mode caret_consistent: old caret_position <= text_length + 1 implies caret_position = old caret_position unselected: not has_selection format_paragraph (start_position, end_position: INTEGER_32; format: EV_PARAGRAPH_FORMAT) -- Apply paragraph formatting format to caret positions start_position, end_position inclusive. -- Formatting applies to complete lines as separated by new line characters that start_position and -- end_position fall on. require -- from EV_RICH_TEXT_I valid_positions: start_position <= end_position and start_position >= 1 and end_position <= text_length + 1 format_not_void: format /= Void ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection format_region (start_position, end_position: INTEGER_32; format: EV_CHARACTER_FORMAT) -- Apply format to all characters between the caret positions start_position and end_position. -- Formatting is applied immediately. require -- from EV_RICH_TEXT_I valid_positions: start_position < end_position and start_position >= 1 and end_position <= text_length + 1 format_not_void: format /= Void ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection get_text_limit: INTEGER_32 -- Get the maximum length of text that the user -- can enter into the edit control. -- (from WEL_EDIT) require -- from EV_TEXT_COMPONENT_IMP True require -- from WEL_EDIT exists: exists ensure -- from WEL_EDIT positive_result: Result >= 0 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 insert_rtf_stream_in (stream: WEL_RICH_EDIT_STREAM_IN) -- Start a rtf stream in operation with stream. require -- from WEL_RICH_EDIT exists: exists stream_not_void: stream /= Void stream_exists: stream.exists internal_actions_blocked: BOOLEAN -- Are caret position and selection change actions blocked internally due to an operation -- occurring that may affect them. They must be displayed during the implementation of -- certain features that require such modification as part of their implementation. See -- safe_store_caret, safe_restore_caret. internal_change_word_wrapping (word_wrapping: BOOLEAN) -- Enable word wrapping if word_wrapping, otherwise disable. ensure option_set: has_word_wrapping = word_wrapping 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 modify_paragraph (start_position, end_position: INTEGER_32; format: EV_PARAGRAPH_FORMAT; applicable_attributes: EV_PARAGRAPH_FORMAT_RANGE_INFORMATION) -- Modify paragraph formatting format from caret positions start_position to end_position inclusive. -- Formatting applies to complete lines as separated by new line characters that start_position and -- end_position fall on. All attributes of format that are set to True within applicable_attributes are applied. require -- from EV_RICH_TEXT_I applicable_attributes_not_void: applicable_attributes /= Void valid_positions: start_position <= end_position and start_position >= 1 and end_position <= text_length + 1 format_not_void: format /= Void ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection modify_region (start_position, end_position: INTEGER_32; format: EV_CHARACTER_FORMAT; applicable_attributes: EV_CHARACTER_FORMAT_RANGE_INFORMATION) -- Modify formatting from start_position to end_position applying all attributes of format that are set to -- True within applicable_attributes, ignoring others. require -- from EV_RICH_TEXT_I applicable_attributes_not_void: applicable_attributes /= Void valid_positions: start_position < end_position and start_position >= 1 and end_position <= text_length + 1 format_not_void: format /= Void ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection move_to_selection -- Move the selected text to be visible -- (from WEL_RICH_EDIT) must_restore_selection: BOOLEAN -- Must a selection be restored by safe_restore_caret? -- It is not just enough to check that there was originally a selection. For example, in the case -- where the En_selchange_message is received during an operation that will then call safe_restore_caret. -- As the selection may have changed from none to something between safe_store_caret and safe_restore_caret, -- it is flagged, so the selection can be set. To reproduce such dangerous behaviour, remove selection from the rich text, -- connect an event to the selection_change_actions that queries the character format (internally this manipulates the selection) -- and select using shift and left or right. Without this boolean being set from on_en_selchange the new selection would not -- be correctly shown in the control. Julian. original_caret_position: INTEGER_32 -- Original position of caret before call to safe_store_caret', to be restored by safe_restore_caret. original_selection_end: INTEGER_32 -- Original selection when safe_store_caret called. original_selection_start: INTEGER_32 -- Original selection when safe_store_caret called. 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) 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_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 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 rtf_stream_in (stream: WEL_RICH_EDIT_STREAM_IN) -- Start a rtf stream in operation with stream. require -- from WEL_RICH_EDIT exists: exists stream_not_void: stream /= Void stream_exists: stream.exists safe_restore_caret -- Restore caret position stored by last call to safe_store_caret and restore -- change events. safe_store_caret -- Store caret position, and block caret change events from occurring. scroll_to_end -- Scroll to end. require -- from EV_TEXT_I True 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 wel_set_background_color (color: WEL_COLOR_REF) -- Set the background color with color. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists color_not_void: color /= Void 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) set_background_system_color -- Set the background color with the window -- background system color. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists 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 WEL_WINDOW exists: exists has_not_capture: not wel_has_capture wel_set_caret_position (position: INTEGER_32) -- Set the caret position with position. -- (from WEL_RICH_EDIT) require -- from EV_TEXT_COMPONENT_IMP True require -- from WEL_EDIT exists: exists position_large_enough: position >= 0 position_small_enough: position <= wel_text_length ensure -- from WEL_EDIT has_no_selection: not has_selection caret_position_set: wel_caret_position = position set_caret_position (pos: INTEGER_32) -- set current caret position. -- (from EV_TEXT_COMPONENT_IMP) require -- from EV_TEXT_COMPONENT_I valid_caret_position: pos >= 1 and pos <= text_length + 1 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_current_format (format: EV_CHARACTER_FORMAT) -- apply format to current caret position, applicable -- to next typed characters. require -- from EV_RICH_TEXT_I format_not_void: format /= Void ensure -- from EV_RICH_TEXT_I text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection set_default_font -- Make system to use default font. -- (from EV_FONTABLE_IMP) 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_default_tab_stops -- Set default tab stops. -- (from WEL_RICH_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists 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_editable (flag: BOOLEAN) -- If flag then make Current editable else -- make Current component read-only. -- (from EV_TEXT_COMPONENT_IMP) set_event_mask (an_event_mask: INTEGER_32) -- Set event_mask with an_event_mask. -- See class WEL_ENM_CONSTANTS for values. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists ensure -- from WEL_RICH_EDIT event_mask_set: event_mask = an_event_mask 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_focus -- Set the focus to Current -- (from WEL_WINDOW) require -- from EV_WIDGET_I True require -- from WEL_WINDOW exists: exists set_font (ft: EV_FONT) -- Make ft new font of Current. -- (from EV_FONTABLE_IMP) require -- from EV_FONTABLE_I a_font_not_void: ft /= Void ensure -- from EV_FONTABLE_I assigned: is_usable implies font.is_equal (ft) set_formatting_rect (rect: WEL_RECT) -- Set formatting_rect with rect. -- (from WEL_MULTIPLE_LINE_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists rect_not_void: rect /= Void rect_exists: rect.exists set_modify (modify: BOOLEAN) -- Set modified with modify -- (from WEL_EDIT) require -- from WEL_EDIT exists: exists ensure -- from WEL_EDIT modified_set: modified = modify set_options (operation, an_options: INTEGER_32) -- Set the opetions for the control. -- See class WEL_ECO_CONSTANTS for values. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists 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_read_only -- Set the read-only state. -- (from WEL_EDIT) require -- from EV_TEXT_COMPONENT_IMP True require -- from WEL_EDIT exists: exists set_read_write -- Set the read-write state. -- (from WEL_EDIT) require -- from EV_TEXT_COMPONENT_IMP True require -- from WEL_EDIT exists: exists 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 wel_set_selection (start_position, end_position: INTEGER_32) -- Set the selection between start_position -- and end_position. -- (from WEL_RICH_EDIT) require -- from EV_TEXT_COMPONENT_IMP exists: exists selection_in_lower_bound: start_position >= 0 and end_position >= 0 selection_in_upper_bound: start_position <= wel_text_length and end_position <= wel_text_length require -- from WEL_EDIT exists: exists selection_in_lower_bound: start_position >= 0 and end_position >= 0 selection_in_upper_bound: start_position <= wel_text_length and end_position <= wel_text_length require else -- from WEL_RICH_EDIT selection_in_upper_bound: start_position <= wel_text_length and end_position <= wel_text_length + 1 ensure -- from WEL_EDIT has_selection: (start_position /= end_position) implies has_selection set_shared -- Set shared to True. -- (from WEL_ANY) ensure -- from WEL_ANY shared: shared 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_tab_stops (tab: INTEGER_32) -- Set tab stops at every tab dialog box units. -- (from WEL_RICH_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists positive_tab: tab > 0 set_tab_stops_array (tab: ARRAY [INTEGER_32]) -- Set tab stops using the values of tab. -- (from WEL_RICH_EDIT) require -- from WEL_MULTIPLE_LINE_EDIT exists: exists tab_not_void: tab /= Void tab_large_enough: tab.count > 1 set_tab_width (a_width: INTEGER_32) -- Assign a_width in pixels to tab_width. require -- from EV_RICH_TEXT_I width_positive: a_width > 0 ensure -- from EV_RICH_TEXT_I tab_width_set: tab_width = a_width text_not_changed: text.is_equal (old text) caret_not_moved: caret_position = old caret_position selection_not_changed: old has_selection = has_selection and has_selection implies old start_selection = start_selection and old end_selection = end_selection 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 wel_set_text (a_text: detachable READABLE_STRING_GENERAL) -- Set text with a_text. -- (from WEL_RICH_EDIT) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW text_set_when_not_void: a_text /= Void implies wel_text.same_string_general (a_text) text_set_when_void: a_text = Void implies wel_text.count = 0 set_text (a_text: READABLE_STRING_GENERAL) -- Set text with a_text. require -- from EV_TEXTABLE_I a_text_not_void: a_text /= Void no_carriage_returns: not a_text.has_code (('%R').natural_32_code) ensure -- from EV_TEXTABLE_I text_cloned: attached a_text as l_text and then text.same_string_general (l_text) and then text /= l_text set_text_limit (limit: INTEGER_32) -- Set to limit the length of the text the user -- can enter into the edit control. -- (from WEL_EDIT) require -- from WEL_EDIT exists: exists positive_limit: limit >= 0 require -- from EV_TEXT_COMPONENT_IMP True 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) text_stream_in (stream: WEL_RICH_EDIT_STREAM_IN) -- Start a text stream in operation with stream. require -- from WEL_RICH_EDIT exists: exists stream_not_void: stream /= Void stream_exists: stream.exists update_cached_style (new_ex_style, old_ex_style: INTEGER_32) -- Update Window cache buffer for Window style. -- (from WEL_WINDOW) update_tab_positions (value: INTEGER_32) -- Update tab widths based on contents of tab_positions. -- value is the index of the changed value when called directly by tab_positions, as -- the result of a list modification, and is not used. -- Therefore, when calling update_tab_positions explicitly, any value may be passed. 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 -- Element change disable_redraw -- Disable redrawing of Current until next call to enable_redraw. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists has_system_window_locked: BOOLEAN -- Is there any window locked ? -- (from WEL_WINDOW) ignore_filtered_message -- Call this message from within on_en_msgfilter -- to prevent the filtered message to be handled -- by the Rich Edit Control. -- (from WEL_RICH_EDIT) 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 print_all (dc: WEL_PRINTER_DC; title: READABLE_STRING_GENERAL) -- Print the contents of the rich edit control on -- the printer dc. title is the printer job name. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists dc_not_void: dc /= Void dc_exists: dc.exists title_not_void: title /= Void 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 set_character_format_all (a_char_format: WEL_CHARACTER_FORMAT) -- Apply a_char_format to all text. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists a_char_format_not_void: a_char_format /= Void a_char_format_exists: a_char_format.exists set_character_format_selection (a_char_format: WEL_CHARACTER_FORMAT) -- Apply a_char_format to current selection. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists a_char_format_not_void: a_char_format /= Void a_char_format_exists: a_char_format.exists set_character_format_word (a_char_format: WEL_CHARACTER_FORMAT) -- Set the current word with a_char_format. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists a_char_format_not_void: a_char_format /= Void a_char_format_exists: a_char_format.exists 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 EV_FONTABLE_IMP True require -- from EV_TEXT_COMPONENT_IMP True 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_foreground_color (color: EV_COLOR) -- Make color the new foreground_color -- (from EV_WIDGET_IMP) 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_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 set_paragraph_format (a_para_format: WEL_PARAGRAPH_FORMAT) -- Set the current paragraph with a_para_format. -- (from WEL_RICH_EDIT) require -- from WEL_RICH_EDIT exists: exists a_para_format_not_void: a_para_format /= Void a_para_format_exists: a_para_format.exists 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_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 feature -- Resizing 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: