Automatic generation produced by ISE Eiffel
note description: "An editable combo-box that handles bitmaps." legal: "See notice at end of class." status: "See notice at end of class." date: "$Date: 2011-01-13 14:53:42 -0900 (Thu, 13 Jan 2011) $" revision: "$Revision: 85350 $" class interface WEL_DROP_DOWN_COMBO_BOX_EX create make (a_parent: WEL_WINDOW; a_x, a_y, a_width, a_height, an_id: INTEGER_32) -- Make a combo box. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX a_parent_not_void: a_parent /= Void a_parent_exists: a_parent.exists ensure -- from WEL_COMBO_BOX parent_set: parent = a_parent exists: exists id_set: id = an_id feature -- Access commands: detachable WEL_COMMAND_MANAGER -- Command manager associated to the current window. -- (from WEL_WINDOW) default_processing: BOOLEAN -- (from WEL_RETURN_VALUE) Em_canundo: INTEGER_32 = 198 -- (from WEL_EM_CONSTANTS) Em_emptyundobuffer: INTEGER_32 = 205 -- (from WEL_EM_CONSTANTS) Em_fmtlines: INTEGER_32 = 200 -- (from WEL_EM_CONSTANTS) Em_getfirstvisibleline: INTEGER_32 = 206 -- (from WEL_EM_CONSTANTS) Em_gethandle: INTEGER_32 = 189 -- (from WEL_EM_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_getpasswordchar: INTEGER_32 = 210 -- (from WEL_EM_CONSTANTS) Em_getrect: INTEGER_32 = 178 -- (from WEL_EM_CONSTANTS) Em_getsel: INTEGER_32 = 176 -- (from WEL_EM_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_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_replacesel: INTEGER_32 = 194 -- (from WEL_EM_CONSTANTS) Em_scroll: INTEGER_32 = 181 -- (from WEL_EM_CONSTANTS) Em_scrollcaret: INTEGER_32 = 183 -- (from WEL_EM_CONSTANTS) Em_sethandle: INTEGER_32 = 188 -- (from WEL_EM_CONSTANTS) Em_setmodify: INTEGER_32 = 185 -- (from WEL_EM_CONSTANTS) Em_setpasswordchar: INTEGER_32 = 204 -- (from WEL_EM_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_settypographyoptions: INTEGER_32 = 1226 -- (from WEL_EM_CONSTANTS) Em_setwordbreakproc: INTEGER_32 = 208 -- (from WEL_EM_CONSTANTS) Em_undo: INTEGER_32 = 199 -- (from WEL_EM_CONSTANTS) font: WEL_FONT -- Font with which the control is drawing its text. -- (from WEL_CONTROL) require -- from WEL_CONTROL exists: exists ensure -- from WEL_CONTROL result_not_void: Result /= Void generating_type: TYPE [detachable WEL_DROP_DOWN_COMBO_BOX_EX] -- 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) frozen hwnd_bottom: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_broadcast: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_message: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_notopmost: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_top: POINTER -- (from WEL_HWND_CONSTANTS) frozen hwnd_topmost: POINTER -- (from WEL_HWND_CONSTANTS) i_th_text (i: INTEGER_32): STRING_32 -- Text at the zero-based index i -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists i_large_enough: i >= 0 i_small_enough: i < count ensure -- from WEL_COMBO_BOX result_exists: Result /= Void i_th_text_length (i: INTEGER_32): INTEGER_32 -- Length text at the zero-based index i -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists i_large_enough: i >= 0 i_small_enough: i < count ensure -- from WEL_COMBO_BOX positive_result: Result >= 0 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) item: POINTER -- Generic Windows handle or structure pointer. -- Can be a HWND, HICON, RECT *, WNDCLASS *, etc... -- (from WEL_ANY) 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 parent: detachable WEL_WINDOW -- Parent window -- (from WEL_WINDOW) 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) silly_window: WEL_SILLY_WINDOW -- Window that receives some private messages for WEL to work properly. -- (from WEL_RESIZING_SUPPORT) Sm_cmetrics: INTEGER_32 = 76 -- (from WEL_SM_CONSTANTS) Sm_cmonitors: INTEGER_32 = 80 -- (from WEL_SM_CONSTANTS) Sm_cxborder: INTEGER_32 = 5 -- (from WEL_SM_CONSTANTS) Sm_cxcursor: INTEGER_32 = 13 -- (from WEL_SM_CONSTANTS) Sm_cxdlgframe: INTEGER_32 = 7 -- (from WEL_SM_CONSTANTS) Sm_cxdoubleclk: INTEGER_32 = 36 -- (from WEL_SM_CONSTANTS) Sm_cxframe: INTEGER_32 = 32 -- (from WEL_SM_CONSTANTS) Sm_cxfullscreen: INTEGER_32 = 16 -- (from WEL_SM_CONSTANTS) Sm_cxhscroll: INTEGER_32 = 21 -- (from WEL_SM_CONSTANTS) Sm_cxhthumb: INTEGER_32 = 10 -- (from WEL_SM_CONSTANTS) Sm_cxicon: INTEGER_32 = 11 -- (from WEL_SM_CONSTANTS) Sm_cxiconspacing: INTEGER_32 = 38 -- (from WEL_SM_CONSTANTS) Sm_cxmaximized: INTEGER_32 = 61 -- (from WEL_SM_CONSTANTS) Sm_cxmenucheck: INTEGER_32 = 71 -- (from WEL_SM_CONSTANTS) Sm_cxmin: INTEGER_32 = 28 -- (from WEL_SM_CONSTANTS) Sm_cxmintrack: INTEGER_32 = 34 -- (from WEL_SM_CONSTANTS) Sm_cxscreen: INTEGER_32 = 0 -- (from WEL_SM_CONSTANTS) Sm_cxsize: INTEGER_32 = 30 -- (from WEL_SM_CONSTANTS) Sm_cxvirtualscreen: INTEGER_32 = 78 -- (from WEL_SM_CONSTANTS) Sm_cxvscroll: INTEGER_32 = 2 -- (from WEL_SM_CONSTANTS) Sm_cyborder: INTEGER_32 = 6 -- (from WEL_SM_CONSTANTS) Sm_cycaption: INTEGER_32 = 4 -- (from WEL_SM_CONSTANTS) Sm_cycursor: INTEGER_32 = 14 -- (from WEL_SM_CONSTANTS) Sm_cydlgframe: INTEGER_32 = 8 -- (from WEL_SM_CONSTANTS) Sm_cydoubleclk: INTEGER_32 = 37 -- (from WEL_SM_CONSTANTS) Sm_cyframe: INTEGER_32 = 33 -- (from WEL_SM_CONSTANTS) Sm_cyfullscreen: INTEGER_32 = 17 -- (from WEL_SM_CONSTANTS) Sm_cyhscroll: INTEGER_32 = 3 -- (from WEL_SM_CONSTANTS) Sm_cyicon: INTEGER_32 = 12 -- (from WEL_SM_CONSTANTS) Sm_cyiconspacing: INTEGER_32 = 39 -- (from WEL_SM_CONSTANTS) Sm_cykanjiwindow: INTEGER_32 = 18 -- (from WEL_SM_CONSTANTS) Sm_cymaximized: INTEGER_32 = 62 -- (from WEL_SM_CONSTANTS) Sm_cymenu: INTEGER_32 = 15 -- (from WEL_SM_CONSTANTS) Sm_cymenucheck: INTEGER_32 = 72 -- (from WEL_SM_CONSTANTS) Sm_cymin: INTEGER_32 = 29 -- (from WEL_SM_CONSTANTS) Sm_cymintrack: INTEGER_32 = 35 -- (from WEL_SM_CONSTANTS) Sm_cyscreen: INTEGER_32 = 1 -- (from WEL_SM_CONSTANTS) Sm_cysize: INTEGER_32 = 31 -- (from WEL_SM_CONSTANTS) Sm_cyvirtualscreen: INTEGER_32 = 79 -- (from WEL_SM_CONSTANTS) Sm_cyvscroll: INTEGER_32 = 20 -- (from WEL_SM_CONSTANTS) Sm_cyvthumb: INTEGER_32 = 9 -- (from WEL_SM_CONSTANTS) Sm_dbcsenabled: INTEGER_32 = 42 -- (from WEL_SM_CONSTANTS) Sm_debug: INTEGER_32 = 22 -- (from WEL_SM_CONSTANTS) Sm_immenabled: INTEGER_32 = 82 -- (from WEL_SM_CONSTANTS) Sm_menudropalignment: INTEGER_32 = 40 -- (from WEL_SM_CONSTANTS) Sm_mousepresent: INTEGER_32 = 19 -- (from WEL_SM_CONSTANTS) Sm_mousewheelpresent: INTEGER_32 = 75 -- (from WEL_SM_CONSTANTS) Sm_penwindows: INTEGER_32 = 41 -- (from WEL_SM_CONSTANTS) Sm_remotesession: INTEGER_32 = 4096 -- (from WEL_SM_CONSTANTS) Sm_reserved1: INTEGER_32 = 24 -- (from WEL_SM_CONSTANTS) Sm_reserved2: INTEGER_32 = 25 -- (from WEL_SM_CONSTANTS) Sm_reserved3: INTEGER_32 = 26 -- (from WEL_SM_CONSTANTS) Sm_reserved4: INTEGER_32 = 27 -- (from WEL_SM_CONSTANTS) Sm_swapbutton: INTEGER_32 = 23 -- (from WEL_SM_CONSTANTS) Sm_xvirtualscreen: INTEGER_32 = 76 -- (from WEL_SM_CONSTANTS) Sm_yvirtualscreen: INTEGER_32 = 77 -- (from WEL_SM_CONSTANTS) Sw_hide: INTEGER_32 = 0 -- Declared in Windows as SW_HIDE -- (from WEL_SW_CONSTANTS) Sw_minimize: INTEGER_32 = 6 -- Declared in Windows as SW_MINIMIZE -- (from WEL_SW_CONSTANTS) Sw_otherunzoom: INTEGER_32 = 4 -- Declared in Windows as SW_OTHERUNZOOM -- (from WEL_SW_CONSTANTS) Sw_otherzoom: INTEGER_32 = 2 -- Declared in Windows as SW_OTHERZOOM -- (from WEL_SW_CONSTANTS) Sw_parentclosing: INTEGER_32 = 1 -- Declared in Windows as SW_PARENTCLOSING -- (from WEL_SW_CONSTANTS) Sw_parentopening: INTEGER_32 = 3 -- Declared in Windows as SW_PARENTOPENING -- (from WEL_SW_CONSTANTS) Sw_restore: INTEGER_32 = 9 -- Declared in Windows as SW_RESTORE -- (from WEL_SW_CONSTANTS) Sw_show: INTEGER_32 = 5 -- Declared in Windows as SW_SHOW -- (from WEL_SW_CONSTANTS) Sw_showmaximized: INTEGER_32 = 3 -- Declared in Windows as SW_SHOWMAXIMIZED -- (from WEL_SW_CONSTANTS) Sw_showminimized: INTEGER_32 = 2 -- Declared in Windows as SW_SHOWMINIMIZED -- (from WEL_SW_CONSTANTS) Sw_showminnoactive: INTEGER_32 = 7 -- Declared in Windows as SW_SHOWMINNOACTIVE -- (from WEL_SW_CONSTANTS) Sw_showna: INTEGER_32 = 8 -- Declared in Windows as SW_SHOWNA -- (from WEL_SW_CONSTANTS) Sw_shownoactivate: INTEGER_32 = 4 -- Declared in Windows as SW_SHOWNOACTIVATE -- (from WEL_SW_CONSTANTS) Sw_shownormal: INTEGER_32 = 1 -- Declared in Windows as SW_SHOWNORMAL -- (from WEL_SW_CONSTANTS) Swp_asyncwindowpos: INTEGER_32 = 16384 -- If the calling thread and the thread that owns the window are attached -- to different input queues, the system posts the request to the thread-- -- that owns the window. This prevents the calling thread from blocking -- its execution while other threads process the request. -- (from WEL_SWP_CONSTANTS) Swp_defererase: INTEGER_32 = 8192 -- Prevents generation of the WM_SYNCPAINT message. -- (from WEL_SWP_CONSTANTS) Swp_drawframe: INTEGER_32 = 32 -- Same as `swp_framechanged`. -- (from WEL_SWP_CONSTANTS) Swp_framechanged: INTEGER_32 = 32 -- Frame changed: send WM_NCCALCSIZE. -- (from WEL_SWP_CONSTANTS) Swp_hidewindow: INTEGER_32 = 128 -- (from WEL_SWP_CONSTANTS) Swp_noactivate: INTEGER_32 = 16 -- (from WEL_SWP_CONSTANTS) Swp_nocopybits: INTEGER_32 = 256 -- (from WEL_SWP_CONSTANTS) Swp_nomove: INTEGER_32 = 2 -- (from WEL_SWP_CONSTANTS) Swp_noownerzorder: INTEGER_32 = 512 -- (from WEL_SWP_CONSTANTS) Swp_noredraw: INTEGER_32 = 8 -- (from WEL_SWP_CONSTANTS) Swp_noreposition: INTEGER_32 = 512 -- Same as Swp_noownerzborder. -- (from WEL_SWP_CONSTANTS) Swp_nosendchanging: INTEGER_32 = 1024 -- Don't send WM_WINDOWPOSCHANGING. -- (from WEL_SWP_CONSTANTS) Swp_nosize: INTEGER_32 = 1 -- (from WEL_SWP_CONSTANTS) Swp_nozorder: INTEGER_32 = 4 -- (from WEL_SWP_CONSTANTS) Swp_showwindow: INTEGER_32 = 64 -- (from WEL_SWP_CONSTANTS) 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) 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) 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) feature -- Measurement count: INTEGER_32 -- Number of lines -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists ensure -- from WEL_COMBO_BOX positive_result: Result >= 0 feature -- Comparison frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void -- or attached to isomorphic object structures? -- (from ANY) ensure -- from ANY instance_free: class shallow_implies_deep: standard_equal (a, b) implies Result both_or_none_void: (a = Void) implies (Result = (b = Void)) same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b)) symmetric: Result implies deep_equal (b, a) frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached -- to objects considered equal? -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b)) frozen is_deep_equal alias "≡≡≡" (other: WEL_DROP_DOWN_COMBO_BOX_EX): 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: WEL_DROP_DOWN_COMBO_BOX_EX): BOOLEAN -- Is other attached to an object considered -- equal to current object? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY symmetric: Result implies other ~ Current consistent: standard_is_equal (other) implies Result frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached to -- field-by-field identical objects of the same type? -- Always uses default object comparison criterion. -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b)) frozen standard_is_equal alias "≜" (other: WEL_DROP_DOWN_COMBO_BOX_EX): 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 WEL_WINDOW exists: exists ensure -- from WEL_WINDOW Result = window_rect.x absolute_y: INTEGER_32 -- Absolute y position -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW Result = window_rect.y background_brush: detachable WEL_BRUSH -- Current window background color used to refresh the window when -- requested by the WM_ERASEBKGND windows message. -- By default there is no background -- (from WEL_WINDOW) ensure -- from WEL_WINDOW new_object: Result /= Void implies Result /= background_brush background_brush_gdip: detachable WEL_GDIP_BRUSH -- GDI+ version of `background_brush` -- Result void if GDI+ not available -- (from WEL_WINDOW) caption_height: INTEGER_32 -- Height of normal caption area -- (from WEL_SYSTEM_METRICS) captured_window: detachable WEL_WINDOW -- Current window which has been captured. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists window_captured: window_captured client_rect: WEL_RECT -- Client rectangle -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW result_not_void: Result /= Void command (message: INTEGER_32): WEL_COMMAND -- Command associated to message -- (from WEL_WINDOW) require -- from WEL_WINDOW positive_message: message >= 0 command_exists: command_exists (message) ensure -- from WEL_WINDOW result_not_void: Result /= Void command_argument (message: INTEGER_32): detachable ANY -- Command argument associated to message -- (from WEL_WINDOW) require -- from WEL_WINDOW positive_message: message >= 0 command_exists: command_exists (message) command_exists (message: INTEGER_32): BOOLEAN -- Does a command associated to message exist? -- (from WEL_WINDOW) require -- from WEL_WINDOW positive_message: message >= 0 ensure -- from WEL_WINDOW definition: Result implies attached commands as l_commands_var and then l_commands_var.item (message) /= Void commands_enabled: BOOLEAN -- Is the commands execution enabled? -- (from WEL_WINDOW) conforms_to (other: ANY): BOOLEAN -- Does type of current object conform to type -- of other (as per Eiffel: The Language, chapter 13)? -- (from ANY) require -- from ANY other_not_void: other /= Void 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) 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) dropped_rect: WEL_RECT -- Rectangle of the drop down list box -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists ensure -- from WEL_COMBO_BOX result_not_void: Result /= Void enabled: BOOLEAN -- Is the window enabled for mouse and keyboard input? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ex_style: INTEGER_32 -- Window ex_style -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists exists: BOOLEAN -- Does the `item` exist? -- (from WEL_ANY) ensure -- from WEL_ANY Result = (item /= default_pointer) 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) 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_image_list: detachable WEL_IMAGE_LIST -- Get the image list associated with this combination box. -- Returns Void if none.\ -- (from WEL_COMBO_BOX_EX) get_item_info (index: INTEGER_32): WEL_COMBO_BOX_EX_ITEM -- Retrieves the information about the zero-based -- index item. -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX_EX exists: exists index_large_enough: index >= 0 index_small_enough: index < count get_text_limit: INTEGER_32 -- Return the maximum text length. -- (from WEL_COMBO_BOX) has_capture: BOOLEAN -- Does this window have the capture? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists has_focus: BOOLEAN -- Does this window have the focus? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists has_horizontal_scroll_bar: BOOLEAN -- Does this window have a horizontal scroll bar? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists has_system_font: BOOLEAN -- Does the control use the system font? -- (from WEL_CONTROL) require -- from WEL_CONTROL exists: exists has_vertical_scroll_bar: BOOLEAN -- Does this window have a vertical scroll bar? -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists height: INTEGER_32 -- Window height -- (from WEL_WINDOW) 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) 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_terminal_service: BOOLEAN -- If window in terminal service (Remote Desktop)? -- (from WEL_WINDOWS_ROUTINES) require -- from WEL_WINDOWS_ROUTINES after_2000: (create {WEL_WINDOWS_VERSION} end).is_windows_2000_compatible is_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) list_item_height: INTEGER_32 -- height of list items in a combo box -- (from WEL_COMBO_BOX) ensure -- from WEL_COMBO_BOX operation_successful: Result /= Cb_err list_shown: BOOLEAN -- Is the drop down list shown? -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX_EX exists: exists 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 monitor_count: INTEGER_32 -- Number of monitors used for displaying virtual screen. -- (from WEL_SYSTEM_METRICS) mouse_button_swapped: BOOLEAN -- Are the meanings of the left and right mouse -- buttons swapped? -- (from WEL_SYSTEM_METRICS) mouse_installed: BOOLEAN -- Is a mouse installed? -- (from WEL_SYSTEM_METRICS) pen_installed: BOOLEAN -- Is a pen installed? -- (from WEL_SYSTEM_METRICS) placement: WEL_WINDOW_PLACEMENT -- Window placement information -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW result_not_void: Result /= Void popup_menu_right_aligned: BOOLEAN -- Are pop-up menus right-aligned relative to the -- corresponding menu-bar item? -- (from WEL_SYSTEM_METRICS) same_type (other: ANY): BOOLEAN -- Is type of current object identical to type of other? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY definition: Result = (conforms_to (other) and other.conforms_to (Current)) screen_height: INTEGER_32 -- Screen height -- (from WEL_SYSTEM_METRICS) screen_width: INTEGER_32 -- Screen width -- (from WEL_SYSTEM_METRICS) selected: BOOLEAN -- Is an item selected? -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists selected_item: INTEGER_32 -- Zero-based index of the selected item -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists selected: selected ensure -- from WEL_COMBO_BOX result_large_enough: Result >= 0 result_small_enough: Result < count selected_string: STRING_32 -- String currently selected -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists selected: selected ensure -- from WEL_COMBO_BOX result_not_void: Result /= Void selection_field_height: INTEGER_32 -- height of the selection field in a combo box -- (from WEL_COMBO_BOX) ensure -- from WEL_COMBO_BOX operation_successful: Result /= Cb_err 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 style: INTEGER_32 -- Window style -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists system_directory: STRING_32 -- Path of the Windows system directory -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES result_not_void: Result /= Void text: STRING_32 -- Window text require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW result_not_void: Result /= Void text_length: INTEGER_32 -- Text length require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW positive_result: Result >= 0 text_substring (nb: INTEGER_32): WEL_STRING -- nb code units of `text` retrieved as a WEL_STRING. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists valid_upper_bound: nb <= text_length tick_count: INTEGER_32 -- Number of milliseconds that have -- elapsed since Windows was started. -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES positive_result: Result >= 0 title_bar_height: INTEGER_32 -- Height of title bar. -- (from WEL_SYSTEM_METRICS) title_bar_image_height: INTEGER_32 -- Height of bitmap contained in title bar. -- (from WEL_SYSTEM_METRICS) title_bar_image_width: INTEGER_32 -- Width of bitmap contained in title bar. -- (from WEL_SYSTEM_METRICS) top_index: INTEGER_32 -- Zero-based index of the first visible item in the list -- box portion of a combo box. -- Initially, the item with index 0 is at the top of the -- list box, but if the list box contents have been scrolled, -- another item may be at the top. -- (from WEL_COMBO_BOX) ensure -- from WEL_COMBO_BOX operation_successful: Result /= Cb_err 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) width: INTEGER_32 -- Window width -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists window_border_height: INTEGER_32 -- Height of the border of a window -- (from WEL_SYSTEM_METRICS) window_border_width: INTEGER_32 -- Width of the border of a window -- (from WEL_SYSTEM_METRICS) window_captured: BOOLEAN -- Has a window been captured? -- (from WEL_WINDOW) window_frame_height: INTEGER_32 -- Height of window frame for a window -- that can be resized -- (from WEL_SYSTEM_METRICS) window_frame_width: INTEGER_32 -- Width of window frame for a window -- that can be resized -- (from WEL_SYSTEM_METRICS) window_minimum_height: INTEGER_32 -- Minimum height of a window -- (from WEL_SYSTEM_METRICS) window_minimum_width: INTEGER_32 -- Minimum width of a window -- (from WEL_SYSTEM_METRICS) window_of_item (hwnd: POINTER): detachable WEL_WINDOW -- Retrieve Eiffel object associated with hwnd pointer. -- (from WEL_WINDOWS_ROUTINES) require -- from WEL_WINDOWS_ROUTINES hwnd_not_null: hwnd /= default_pointer is_window_pointer: is_window (hwnd) ensure -- from WEL_WINDOWS_ROUTINES is_wel_window: Result /= Void end implies (create {INTERNAL} end).type_conforms_to ((create {INTERNAL} end).dynamic_type (Result), (create {INTERNAL} end).dynamic_type_from_string ("WEL_WINDOW")) is_proper_wel_window: Result /= Void implies Result.item = hwnd window_rect: WEL_RECT -- Window rectangle (absolute position) -- (from WEL_WINDOW) require -- from 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 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 parent = Void implies Result = absolute_y feature -- Status setting disable -- Disable mouse and keyboard input -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW disabled: not enabled 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) ensure -- from WEL_WINDOW default_processing_disabled: not default_processing disable_drag_accept_files -- Disallow Current from being a file drag and drop target. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists enable -- Enable mouse and keyboard input. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW enabled: enabled 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_drag_accept_files -- Allow Current to be a file drag and drop target. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists hide -- Hide the window -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW hidden: not shown hide_list -- Hide the drop down list. -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX_EX exists: exists ensure -- from WEL_COMBO_BOX_EX list_not_shown: not list_shown 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 release_capture -- Release the mouse capture after a call -- to `set_capture`. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists has_capture: has_capture ensure -- from WEL_WINDOW not_has_capture: not has_capture restore -- Restore the window to its -- original size and position after -- `minimize` or `maximize` -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists select_item (index: INTEGER_32) -- Select item at the zero-based index. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists index_large_enough: index >= 0 index_small_enough: index < count ensure -- from WEL_COMBO_BOX selected_item: selected and then selected_item = index 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 WEL_WINDOW exists: exists has_not_capture: not has_capture 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 WEL_WINDOW exists: exists set_image_list (an_imagelist: detachable WEL_IMAGE_LIST) -- Set the current image list to an_imagelist. -- If an_imagelist is set to Void, it removes -- the current associated image list (if any). -- (from WEL_COMBO_BOX_EX) set_item_info (index: INTEGER_32; an_item: WEL_COMBO_BOX_EX_ITEM) -- Sets the information about the zero-based -- index item. -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX_EX exists: exists an_item_not_void: an_item /= Void an_item_exists: an_item.exists index_large_enough: index >= 0 index_small_enough: index < count ensure -- from WEL_COMBO_BOX_EX an_item_updated: an_item.index = index 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 WEL_WINDOW exists: exists set_unshared -- Set `shared` to False. -- (from WEL_ANY) ensure -- from WEL_ANY unshared: not shared show -- Show the window -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists show_list -- Show the drop down list. -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX_EX exists: exists ensure -- from WEL_COMBO_BOX_EX list_shown: list_shown unselect -- Clear the selection. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists ensure -- from WEL_COMBO_BOX selection_cleared: not selected update_cached_style (new_ex_style, old_ex_style: INTEGER_32) -- Update Window cache buffer for Window style. -- (from WEL_WINDOW) feature -- Element change add_string (a_string: READABLE_STRING_GENERAL) -- Add a_string in the combo box. -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX exists: exists a_string_not_void: a_string /= Void ensure -- from WEL_COMBO_BOX new_count: count = old count + 1 delete_item (index: INTEGER_32) -- Delete the zero-based index item. -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX_EX exists: exists index_large_enough: index >= 0 index_small_enough: index < count ensure -- from WEL_COMBO_BOX_EX new_count: count = old count - 1 delete_string (index: INTEGER_32) -- Delete the item at the zero-based index. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists index_large_enough: index >= 0 index_small_enough: index < count ensure -- from WEL_COMBO_BOX new_count: count = old count - 1 disable_redraw -- Disable redrawing of Current until next call to `enable_redraw`. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists enable_redraw -- Ensure Current is redrawn as required. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists has_system_window_locked: BOOLEAN -- Is there any window locked ? -- (from WEL_WINDOW) insert_item (an_item: WEL_COMBO_BOX_EX_ITEM) -- Insert an_item in the combo-box. -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX_EX exists: exists an_item_not_void: an_item /= Void an_item_exists: an_item.exists index_large_enough: an_item.index >= 0 index_small_enough: an_item.index <= count ensure -- from WEL_COMBO_BOX_EX new_count: count = old count + 1 insert_string_at (a_string: READABLE_STRING_GENERAL; index: INTEGER_32) -- Add a_string at the zero-based index. -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX exists: exists a_string_not_void: a_string /= Void index_small_enough: index <= count index_large_enough: index >= 0 ensure -- from WEL_COMBO_BOX new_count: count = old count + 1 lock_window_update -- Disables drawing in the current window. A locked window cannot be moved. -- Only one window can be locked at a time. To unlock a window locked with -- `lock_window_update` , call 'unlock_window_update'. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW has_system_window_locked reset_content -- Reset the content of the list. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists ensure -- from WEL_COMBO_BOX new_count: count = 0 set_font (a_font: WEL_FONT) -- Set `font` with a_font. -- (from WEL_CONTROL) require -- from WEL_CONTROL exists: exists a_font_not_void: a_font /= Void a_font_exists: a_font.exists ensure -- from WEL_CONTROL font_set: not has_system_font implies font.item = a_font.item set_height (a_height: INTEGER_32) -- Set `height` with a_height -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists set_item (an_item: POINTER) -- Set `item` with an_item -- (from WEL_ANY) ensure -- from WEL_ANY item_set: item = an_item set_parent (a_parent: detachable WEL_WINDOW) -- Change the parent of the current window. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists 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_width (a_width: INTEGER_32) -- Set `width` with a_width -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists 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 destroy -- Destroy the window. -- (from WEL_WINDOW) 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 -- Duplication copy (other: WEL_DROP_DOWN_COMBO_BOX_EX) -- Update current object using fields of object attached -- to other, so as to yield equal objects. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_equal: Current ~ other frozen deep_copy (other: WEL_DROP_DOWN_COMBO_BOX_EX) -- Effect equivalent to that of: -- `copy` (other . `deep_twin`) -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY deep_equal: deep_equal (Current, other) frozen deep_twin: WEL_DROP_DOWN_COMBO_BOX_EX -- New object structure recursively duplicated from Current. -- (from ANY) ensure -- from ANY deep_twin_not_void: Result /= Void deep_equal: deep_equal (Current, Result) frozen standard_copy (other: WEL_DROP_DOWN_COMBO_BOX_EX) -- Copy every field of other onto corresponding field -- of current object. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_standard_equal: standard_is_equal (other) frozen standard_twin: WEL_DROP_DOWN_COMBO_BOX_EX -- New object field-by-field identical to other. -- Always uses default copying semantics. -- (from ANY) ensure -- from ANY standard_twin_not_void: Result /= Void equal: standard_equal (Result, Current) frozen twin: WEL_DROP_DOWN_COMBO_BOX_EX -- New object equal to Current -- `twin` calls `copy`; to change copying/twinning semantics, redefine `copy`. -- (from ANY) ensure -- from ANY twin_not_void: Result /= Void is_equal: Result ~ Current feature -- Miscellaneous Cw_usedefault: INTEGER_32 = -2147483648 -- Declared in Windows as CW_USEDEFAULT -- (from WEL_WS_CONSTANTS) feature -- Basic operations bring_to_top -- Bring this window to the top of the Z order. -- -- Note: -- * If the window is a top-level window, it is activated. -- * If the window is a child window, the top-level parent window -- associated with the child window is activated. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists clear_flag (flags, mask: INTEGER_32): INTEGER_32 -- Clear the mask in flags -- (from WEL_BIT_OPERATIONS) ensure -- from WEL_BIT_OPERATIONS flag_unset: not flag_set (Result, mask) cwin_hi_word (value: POINTER): INTEGER_32 -- SDK HIWORD -- (from WEL_WORD_OPERATIONS) cwin_lo_word (value: POINTER): INTEGER_32 -- SDK LOWORD -- (from WEL_WORD_OPERATIONS) cwin_make_long (low, high: INTEGER_32): POINTER -- SDK MAKELONG -- (from WEL_WORD_OPERATIONS) cwin_make_lparam (low, high: INTEGER_32): POINTER -- SKD MAKELPARAM -- (from WEL_WORD_OPERATIONS) frozen default: detachable WEL_DROP_DOWN_COMBO_BOX_EX -- Default value of object's type -- (from ANY) frozen default_pointer: POINTER -- Default value of type POINTER -- (Avoid the need to write p.`default` for -- some p of type POINTER.) -- (from ANY) ensure -- from ANY instance_free: class default_process_notification (notification_code: INTEGER_32) -- Process a notification_code which has not been -- processed by `process_notification`. -- (from WEL_CONTROL) require -- from WEL_CONTROL exists: exists default_rescue -- Process exception for routines with no Rescue clause. -- (Default: do nothing.) -- (from ANY) disable_horizontal_scroll_bar -- Disable the horizontal scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists disable_vertical_scroll_bar -- Disable the vertical scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists frozen do_nothing -- Execute a null action. -- (from ANY) ensure -- from ANY instance_free: class eif_current_object_id: INTEGER_32 -- New identifier for Current -- (from IDENTIFIED_ROUTINES) ensure -- from IDENTIFIED_ROUTINES eif_current_object_id: Result > 0 inserted: eif_is_object_id_of_current (Result) eif_id_any_object (an_id: INTEGER_32): detachable ANY -- Object associated with an_id -- (from IDENTIFIED_ROUTINES) require -- from IDENTIFIED_ROUTINES an_id_non_negative: an_id >= 0 ensure -- from IDENTIFIED_ROUTINES instance_free: class eif_is_object_id_of_current (an_id: INTEGER_32): BOOLEAN -- Is an_id the associated object ID of Current. -- (from IDENTIFIED_ROUTINES) require -- from IDENTIFIED_ROUTINES an_id_non_negative: an_id >= 0 eif_object_id (an_object: ANY): INTEGER_32 -- New identifier for an_object -- (from IDENTIFIED_ROUTINES) ensure -- from IDENTIFIED_ROUTINES instance_free: class eif_object_id_positive: Result > 0 inserted: eif_id_any_object (Result) = an_object eif_object_id_free (an_id: INTEGER_32) -- Free the entry an_id -- (from IDENTIFIED_ROUTINES) require -- from IDENTIFIED_ROUTINES an_id_non_negative: an_id >= 0 ensure -- from IDENTIFIED_ROUTINES instance_free: class removed: eif_id_any_object (an_id) = Void enable_horizontal_scroll_bar -- Enable the horizontal scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists enable_vertical_scroll_bar -- Enable the vertical scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists find_string_exact (index: INTEGER_32; a_string: READABLE_STRING_GENERAL): INTEGER_32 -- Find the first string that matches a_string. -- index specifies the zero-based index of the -- item before the first item to be searched. -- Returns -1 if the search was unsuccessful. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists index_large_enough: index >= 0 index_small_enough: index < count a_string_not_void: a_string /= Void go_to_next_group_item (a_parent: WEL_COMPOSITE_WINDOW; after: BOOLEAN) -- Find the previous or following control with the -- Wm_tabstop style in the current group in a_parent -- depending on the value of after. -- (from WEL_CONTROL) require -- from WEL_CONTROL valid_parent: a_parent /= Void and then a_parent.exists go_to_next_tab_item (a_parent: WEL_COMPOSITE_WINDOW; after: BOOLEAN) -- Find the previous or following control with the -- Wm_tabstop style in `a_parent depending on the -- value of after. -- (from WEL_CONTROL) require -- from WEL_CONTROL valid_parent: a_parent /= Void and then a_parent.exists hide_cursor -- Hide the cursor. -- (from WEL_WINDOWS_ROUTINES) hide_horizontal_scroll_bar -- Hide the horizontal scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists hide_scroll_bars -- Hide the horizontal and vertical scroll bars. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists hide_vertical_scroll_bar -- Hide the vertical scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists insert_after (a_window: WEL_WINDOW) -- Insert the current window after a_window. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists a_window_not_void: a_window /= Void a_window_not_current: a_window /= Current a_window_exists: a_window.exists invalidate -- Invalide the entire client area of the window. The -- background will be erased before. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists invalidate_rect (rect: WEL_RECT; erase_background: BOOLEAN) -- Invalidate the area rect and erase -- the background if erase_background is True. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists rect_not_void: rect /= Void rect_exists: rect.exists invalidate_region (region: WEL_REGION; erase_background: BOOLEAN) -- Invalidate the area region and erase -- the background if erase_background is True. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists region_not_void: region /= Void region_exists: region.exists invalidate_without_background -- Invalidate the entire client area of the window. The -- background will not be erased. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists kill_timer (timer_id: INTEGER_32) -- Kill the timer identified by timer_id. -- See also `set_timer`, `on_timer`. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists positive_timer_id: timer_id > 0 message_beep_asterisk -- Play the system asterisk waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_exclamation -- Play the system exclamation waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_hand -- Play the system hand waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_ok -- Play the system ok waveform sound. -- (from WEL_WINDOWS_ROUTINES) message_beep_question -- Play the system question waveform sound. -- (from WEL_WINDOWS_ROUTINES) move (a_x, a_y: INTEGER_32) -- Move the window to a_x, a_y. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists move_and_resize (a_x, a_y, a_width, a_height: INTEGER_32; repaint: BOOLEAN) -- Move the window to a_x, a_y position and -- resize it with a_width, a_height. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists output_debug_string (s: READABLE_STRING_GENERAL) -- Send a string s to the system debugger. -- (from WEL_WINDOWS_ROUTINES) require -- from WEL_WINDOWS_ROUTINES s_not_void: s /= Void put_command (a_command: WEL_COMMAND; message: INTEGER_32; argument: detachable ANY) -- Put a_command associated to message. -- (from WEL_WINDOW) require -- from WEL_WINDOW a_command_not_void: a_command /= Void positive_message: message >= 0 ensure -- from WEL_WINDOW command_added: command (message) = a_command and command_argument (message) = argument remove_command (message: INTEGER_32) -- Remove the command associated to message. -- (from WEL_WINDOW) require -- from WEL_WINDOW positive_message: message >= 0 command_exists: command_exists (message) ensure -- from WEL_WINDOW command_removed: not command_exists (message) resize (a_width, a_height: INTEGER_32) -- Resize the window with a_width, a_height. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists resource_string_id (an_id: INTEGER_32): STRING_32 -- String identified by an_id in the resource file. -- (from WEL_WINDOWS_ROUTINES) ensure -- from WEL_WINDOWS_ROUTINES result_not_void: Result /= Void scroll (a_x, a_y: INTEGER_32) -- Scroll the contents of the window's client area. -- a_x and a_y specify the amount of horizontal -- and vertical scrolling. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists set_class_icon (new_icon: WEL_ICON) -- Replace the current icon for the class which this window -- belongs to. -- -- The SetClassLong function replaces the specified 32-bit (long) -- value at the specified offset into the extra class memory -- or the WNDCLASSEX structure for the class to which the -- specified window belongs. -- (from WEL_WINDOW) require -- from WEL_WINDOW new_icon_not_void: new_icon /= Void new_icon_exists: new_icon.exists set_class_small_icon (new_icon: WEL_ICON) -- Replace the current icon for the class which this window -- belongs to. -- -- The SetClassLong function replaces the specified 32-bit (long) -- value at the specified offset into the extra class memory -- or the WNDCLASSEX structure for the class to which the -- specified window belongs. -- (from WEL_WINDOW) require -- from WEL_WINDOW new_icon_not_void: new_icon /= Void new_icon_exists: new_icon.exists set_cursor_position_absolute (x, y: INTEGER_32) -- Set the cursor position to `x`, `y`. -- (from WEL_WINDOWS_ROUTINES) set_flag (flags, mask: INTEGER_32): INTEGER_32 -- Set the mask in flags -- (from WEL_BIT_OPERATIONS) ensure -- from WEL_BIT_OPERATIONS flag_set: flag_set (Result, mask) set_z_order (z_order: POINTER) -- Set the z-order of the window. -- See class WEL_HWND_CONSTANTS for z_order values. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists valid_hwnd_constant: valid_hwnd_constant (z_order) show_cursor -- Show the cursor. -- (from WEL_WINDOWS_ROUTINES) show_horizontal_scroll_bar -- Show the horizontal scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists show_scroll_bars -- Show the horizontal and vertical scroll bars. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists show_vertical_scroll_bar -- Show the vertical scroll bar. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists show_with_option (cmd_show: INTEGER_32) -- Set the window's visibility with cmd_show. -- See class WEL_SW_CONSTANTS for cmd_show value. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists parent_shown: attached parent as l_parent implies l_parent.exists and l_parent.shown update -- Update the client area by sending a Wm_paint message. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists validate -- Validate the entire client area of the window. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists validate_rect (rect: WEL_RECT) -- Validate the area rect. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists rect_not_void: rect /= Void rect_exists: rect.exists validate_region (region: WEL_REGION) -- Validate the area region. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists region_not_void: region /= Void region_exists: region.exists win_help_from_path (help_path: PATH; a_command, data: INTEGER_32) -- Start the Windows Help program with help_path. -- a_command specifies the type of help requested. See -- class WEL_HELP_CONSTANTS for a_command values. -- 'data' is depandant on 'a_command'. Check MSDN for more details. -- (from WEL_WINDOW) require -- from WEL_WINDOW exists: exists help_file_not_void: help_path /= Void feature -- Inapplicable add_files (attribut: INTEGER_32; files: READABLE_STRING_GENERAL) -- Add files to the combo box. files may contain -- wildcards (?*). See class WEL_DDL_CONSTANTS for -- attribut values. -- To check -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX exists: exists files_not_void: files /= Void find_string (index: INTEGER_32; a_string: READABLE_STRING_GENERAL): INTEGER_32 -- Find the first string that contains the -- prefix a_string. index specifies the -- zero-based index of the item before the first -- item to be searched. -- Returns -1 if the search was unsuccessful. -- (from WEL_COMBO_BOX_EX) require -- from WEL_COMBO_BOX exists: exists index_large_enough: index >= 0 index_small_enough: index < count a_string_not_void: a_string /= Void feature -- Access : notification flags Cbenf_dropdown: INTEGER_32 = 4 -- The user activated the drop-down list. -- -- Declared in Windows as CBENF_DROPDOWN -- (from WEL_COMBO_BOX_CONSTANTS) Cbenf_escape: INTEGER_32 = 3 -- The user pressed the ESCAPE key. -- -- Declared in Windows as CBENF_ESCAPE -- (from WEL_COMBO_BOX_CONSTANTS) Cbenf_killfocus: INTEGER_32 = 1 -- The edit box lost the keyboard focus. -- -- Declared in Windows as CBENF_KILLFOCUS -- (from WEL_COMBO_BOX_CONSTANTS) Cbenf_return: INTEGER_32 = 2 -- The user completed the edit operation by pressing -- the ENTER key. -- -- Declared in Windows as CBENF_RETURN -- (from WEL_COMBO_BOX_CONSTANTS) feature -- Basic window types Ws_child: INTEGER_32 = 1073741824 -- Declared in Windows as WS_CHILD -- (from WEL_WS_CONSTANTS) Ws_overlapped: INTEGER_32 = 0 -- Declared in Windows as WS_OVERLAPPED -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_tiled`. -- (from WEL_WS_CONSTANTS) Ws_popup: INTEGER_32 = -2147483648 -- Declared in Windows as WS_POPUP -- (from WEL_WS_CONSTANTS) Ws_tiled: INTEGER_32 = 0 -- Declared in Windows as WS_OVERLAPPED -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_overlapped`. -- (from WEL_WS_CONSTANTS) feature -- Clipping styles Ws_clipchildren: INTEGER_32 = 33554432 -- Declared in Windows as WS_CLIPCHILDREN -- (from WEL_WS_CONSTANTS) Ws_clipsiblings: INTEGER_32 = 67108864 -- Declared in Windows as WS_CLIPSIBLINGS -- (from WEL_WS_CONSTANTS) feature -- Common window styles Ws_childwindow: INTEGER_32 = 1073741824 -- Declared in Windows as WS_CHILDWINDOW -- (from WEL_WS_CONSTANTS) Ws_overlappedwindow: INTEGER_32 = 13565952 -- Declared in Windows as WS_OVERLAPPEDWINDOW -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_tiledwindow`. -- (from WEL_WS_CONSTANTS) Ws_popupwindow: INTEGER_32 = -2138570752 -- Declared in Windows as WS_POPUPWINDOW -- (from WEL_WS_CONSTANTS) Ws_tiledwindow: INTEGER_32 = 13565952 -- Declared in Windows as WS_OVERLAPPEDWINDOW -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_overlappedwindow`. -- (from WEL_WS_CONSTANTS) feature -- Constants Esb_disable_both: INTEGER_32 = 3 -- Disables both arrows on a scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_down: INTEGER_32 = 2 -- Disables the down arrow on a vertical scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_left: INTEGER_32 = 1 -- Disables the left arrow on a horizontal scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_ltup: INTEGER_32 = 1 -- Disables the left arrow on a horizontal scroll bar -- or the up arrow on a vertical scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_rtdn: INTEGER_32 = 2 -- Disables the right arrow on a horizontal scroll bar -- or the down arrow on a vertical scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_disable_up: INTEGER_32 = 1 -- Disables the up arrow on a vertical scroll bar. -- (from WEL_ESB_CONSTANTS) Esb_enable_both: INTEGER_32 = 0 -- Enables both arrows on a scroll bar. -- (from WEL_ESB_CONSTANTS) feature -- Control window styles Ws_group: INTEGER_32 = 131072 -- Declared in Windows as WS_GROUP -- (from WEL_WS_CONSTANTS) Ws_tabstop: INTEGER_32 = 65536 -- Declared in Windows as WS_TABSTOP -- (from WEL_WS_CONSTANTS) feature -- Conversion from Eiffel to Windows frozen to_lparam (i: INTEGER_32): POINTER -- Convert integer value i in a valid LPARAM value. -- (from WEL_DATA_TYPE) ensure -- from WEL_DATA_TYPE is_class: class frozen to_lresult (i: INTEGER_32): POINTER -- Convert integer value i in a valid LRESULT value. -- (from WEL_DATA_TYPE) ensure -- from WEL_DATA_TYPE is_class: class frozen to_wparam (i: INTEGER_32): POINTER -- Convert integer value i in a valid WPARAM value. -- (from WEL_DATA_TYPE) ensure -- from WEL_DATA_TYPE is_class: class feature -- Element Change set_default_processing (value: BOOLEAN) -- Enable or disable default processing of window messages. -- (from WEL_RETURN_VALUE) ensure -- from WEL_RETURN_VALUE value_set: default_processing = value set_message_return_value (value: POINTER) -- Set the window-procedure-return-value. -- (from WEL_RETURN_VALUE) ensure -- from WEL_RETURN_VALUE has_return_value: has_return_value value_set: message_return_value = value feature -- Extended Messages Cbem_deleteitem: INTEGER_32 = 324 -- Removes an item from a ComboBoxEx control. -- -- Declared in Windows as CBEM_DELETEITEM -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_getcombocontrol: INTEGER_32 = 1030 -- Retrieves the handle to the child combo box control. -- -- Declared in Windows as CBEM_GETCOMBOCONTROL -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_geteditcontrol: INTEGER_32 = 1031 -- Retrieves the handke to the edit control portion of -- a ComboBoxEc control. -- -- Declared in Windows as CBEM_GETEDITCONTROL -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_getexstyle: INTEGER_32 = 1033 -- Retrieves the extended styles of a ComboBoxEx control. -- -- Declared in Windows as CBEM_GETEXSTYLE -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_getimagelist: INTEGER_32 = 1027 -- Retrieves the handle to an image list assigned -- to a ComboBoxEx control. -- -- Declared in Windows as CBEM_GETIMAGELIST -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_getitem: INTEGER_32 = 1037 -- Retrieves item information for a given ComboBoxEx item. -- -- Declared in Windows as CBEM_GETITEM -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_haseditchanged: INTEGER_32 = 1034 -- Determines if the user has changed the contents of the -- ComboBoxEx edit control by typing. -- -- Declared in Windows as CBEM_HASEDITCHANGED -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_insertitem: INTEGER_32 = 1035 -- Inserts a new item in a ComboBoxEx. -- -- Declared in Windows as CBEM_INSERTITEM -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_setexstyle: INTEGER_32 = 1032 -- Sets extended styles within a ComboBoxEx control. -- -- Declared in Windows as CBEM_SETEXSTYLE -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_setimagelist: INTEGER_32 = 1026 -- Sets an image list for a ComboBoxEx control. -- -- Declared in Windows as CBEM_SETIMAGELIST -- (from WEL_COMBO_BOX_CONSTANTS) Cbem_setitem: INTEGER_32 = 1036 -- Sets the attributes for an item in a ComboBoxEx control. -- -- Declared in Windows as CBEM_SETITEM -- (from WEL_COMBO_BOX_CONSTANTS) feature -- Extended Notifications Cben_beginedit: INTEGER_32 = -804 -- Sent when the user activates the drop-down list in the -- control's edit box. -- -- Declared in Windows as CBEN_BEGINEDIT -- (from WEL_COMBO_BOX_CONSTANTS) Cben_deleteitem: INTEGER_32 = -802 -- Sent when an item has been deleted. -- -- Declared in Windows as CBEN_DELETEITEM -- (from WEL_COMBO_BOX_CONSTANTS) Cben_endedit: INTEGER_32 = -806 -- Sent when the user has concluded an operation within -- the edit box or has selected an item from the control's -- drop-down list. -- -- Declared in Windows as CBEN_ENDEDIT -- (from WEL_COMBO_BOX_CONSTANTS) Cben_getdispinfo: INTEGER_32 = -807 -- Sent to retrieve display information about a callback item. -- -- Declared in Windows as CBEN_GETDISPINFO -- (from WEL_COMBO_BOX_CONSTANTS) Cben_insertitem: INTEGER_32 = -801 -- Send when a new item has been inserted in the control. -- -- Declared in Windows as CBEN_INSERTITEM -- (from WEL_COMBO_BOX_CONSTANTS) feature -- Extended Style Cbes_ex_noeditimage: INTEGER_32 = 1 -- The edit box will not display an item image. -- -- Declared in Windows as CBES_EX_NOEDITIMAGE -- (from WEL_COMBO_BOX_CONSTANTS) Cbes_ex_noeditimageindent: INTEGER_32 = 2 -- The edit box will not indend text to make room -- for an item image. -- -- Declared in Windows as CBES_EX_NOEDITIMAGEINDENT -- (from WEL_COMBO_BOX_CONSTANTS) feature -- Extended window styles Ws_ex_acceptfiles: INTEGER_32 = 16 -- Declared in Windows as WS_EX_ACCEPTFILES -- (from WEL_WS_CONSTANTS) Ws_ex_appwindow: INTEGER_32 = 262144 -- (from WEL_WS_CONSTANTS) Ws_ex_clientedge: INTEGER_32 = 512 -- Declared in Windows as WS_EX_CLIENTEDGE -- (from WEL_WS_CONSTANTS) Ws_ex_composited: INTEGER_32 = 33554432 -- Declared in Windows as WS_EX_COMPOSITED -- (from WEL_WS_CONSTANTS) Ws_ex_contexthelp: INTEGER_32 = 1024 -- Declared in Windows as WS_EX_CONTEXTHELP -- (from WEL_WS_CONSTANTS) Ws_ex_controlparent: INTEGER_32 = 65536 -- Declared in Windows as WS_EX_CONTROLPARENT -- (from WEL_WS_CONSTANTS) Ws_ex_dlgmodalframe: INTEGER_32 = 1 -- Declared in Windows as WS_EX_DLGMODALFRAME -- (from WEL_WS_CONSTANTS) Ws_ex_layered: INTEGER_32 = 524288 -- Declared in Windows as WS_EX_LAYERED -- (from WEL_WS_CONSTANTS) Ws_ex_left: INTEGER_32 = 0 -- Declared in Windows as WS_EX_LEFT -- (from WEL_WS_CONSTANTS) Ws_ex_leftscrollbar: INTEGER_32 = 16384 -- Declared in Windows as WS_EX_LEFTSCROLLBAR -- (from WEL_WS_CONSTANTS) Ws_ex_ltrreading: INTEGER_32 = 0 -- Declared in Windows as WS_EX_LTRREADING -- (from WEL_WS_CONSTANTS) Ws_ex_mdichild: INTEGER_32 = 64 -- Declared in Windows as WS_EX_MDICHILD -- (from WEL_WS_CONSTANTS) Ws_ex_noactivate: INTEGER_32 = 134217728 -- Declared in Windows as WS_EX_NOACTIVATE -- (from WEL_WS_CONSTANTS) Ws_ex_noparentnotify: INTEGER_32 = 4 -- Declared in Windows as WS_EX_NOPARENTNOTIFY -- (from WEL_WS_CONSTANTS) Ws_ex_overlappedwindow: INTEGER_32 = 768 -- Declared in Windows as WS_EX_OVERLAPPEDWINDOW -- (from WEL_WS_CONSTANTS) Ws_ex_palettewindow: INTEGER_32 = 392 -- Declared in Windows as WS_EX_PALETTEWINDOW -- (from WEL_WS_CONSTANTS) Ws_ex_right: INTEGER_32 = 4096 -- Declared in Windows as WS_EX_RIGHT -- (from WEL_WS_CONSTANTS) Ws_ex_rightscrollbar: INTEGER_32 = 0 -- Declared in Windows as WS_EX_RIGHTSCROLLBAR -- (from WEL_WS_CONSTANTS) Ws_ex_rtlreading: INTEGER_32 = 8192 -- Declared in Windows as WS_EX_RTLREADING -- (from WEL_WS_CONSTANTS) Ws_ex_staticedge: INTEGER_32 = 131072 -- Declared in Windows as WS_EX_STATICEDGE -- (from WEL_WS_CONSTANTS) Ws_ex_toolwindow: INTEGER_32 = 128 -- Declared in Windows as WS_EX_TOOLWINDOW -- (from WEL_WS_CONSTANTS) Ws_ex_topmost: INTEGER_32 = 8 -- Declared in Windows as WS_EX_TOPMOST -- (from WEL_WS_CONSTANTS) Ws_ex_transparent: INTEGER_32 = 32 -- Declared in Windows as WS_EX_TRANSPARENT -- (from WEL_WS_CONSTANTS) Ws_ex_windowedge: INTEGER_32 = 256 -- Declared in Windows as WS_EX_WINDOWEDGE -- (from WEL_WS_CONSTANTS) feature -- For dialogs frozen dwlp_dlgproc: INTEGER_32 -- (from WEL_GWL_CONSTANTS) frozen dwlp_msgresult: INTEGER_32 -- (from WEL_GWL_CONSTANTS) frozen dwlp_user: INTEGER_32 -- (from WEL_GWL_CONSTANTS) feature -- For windows Gwl_hinstance: INTEGER_32 = -6 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_hinstance`. -- (from WEL_GWL_CONSTANTS) Gwl_hwndparent: INTEGER_32 = -8 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_hwndparent`. -- (from WEL_GWL_CONSTANTS) Gwl_id: INTEGER_32 = -12 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_id`. -- (from WEL_GWL_CONSTANTS) Gwl_userdata: INTEGER_32 = -21 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_userdata`. -- (from WEL_GWL_CONSTANTS) Gwl_wndproc: INTEGER_32 = -4 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwlp_wndproc`. -- (from WEL_GWL_CONSTANTS) Gwlp_hinstance: INTEGER_32 = -6 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_hinstance`. -- (from WEL_GWL_CONSTANTS) Gwlp_hwndparent: INTEGER_32 = -8 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_hwndparent`. -- (from WEL_GWL_CONSTANTS) Gwlp_id: INTEGER_32 = -12 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_id`. -- (from WEL_GWL_CONSTANTS) Gwlp_userdata: INTEGER_32 = -21 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_userdata`. -- (from WEL_GWL_CONSTANTS) Gwlp_wndproc: INTEGER_32 = -4 -- Was declared in {WEL_GWL_CONSTANTS} as synonym of `gwl_wndproc`. -- (from WEL_GWL_CONSTANTS) feature -- Generic window states Ws_disabled: INTEGER_32 = 134217728 -- Declared in Windows as WS_DISABLED -- (from WEL_WS_CONSTANTS) Ws_visible: INTEGER_32 = 268435456 -- Declared in Windows as WS_VISIBLE -- (from WEL_WS_CONSTANTS) feature -- Main window states Ws_iconic: INTEGER_32 = 536870912 -- Declared in Windows as WS_MINIMIZE -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_minimize`. -- (from WEL_WS_CONSTANTS) Ws_maximize: INTEGER_32 = 16777216 -- Declared in Windows as WS_MAXIMIZE -- (from WEL_WS_CONSTANTS) Ws_minimize: INTEGER_32 = 536870912 -- Declared in Windows as WS_MINIMIZE -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_iconic`. -- (from WEL_WS_CONSTANTS) feature -- Main window styles Ws_border: INTEGER_32 = 8388608 -- Declared in Windows as WS_BORDER -- (from WEL_WS_CONSTANTS) Ws_caption: INTEGER_32 = 12582912 -- Declared in Windows as WS_CAPTION -- (from WEL_WS_CONSTANTS) Ws_dlgframe: INTEGER_32 = 4194304 -- Declared in Windows as WS_DLGFRAME -- (from WEL_WS_CONSTANTS) Ws_hscroll: INTEGER_32 = 1048576 -- Declared in Windows as WS_HSCROLL -- (from WEL_WS_CONSTANTS) Ws_maximizebox: INTEGER_32 = 65536 -- Declared in Windows as WS_MAXIMIZEBOX -- (from WEL_WS_CONSTANTS) Ws_minimizebox: INTEGER_32 = 131072 -- Declared in Windows as WS_MINIMIZEBOX -- (from WEL_WS_CONSTANTS) Ws_sizebox: INTEGER_32 = 262144 -- Declared in Windows as WS_THICKFRAME -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_thickframe`. -- (from WEL_WS_CONSTANTS) Ws_sysmenu: INTEGER_32 = 524288 -- Declared in Windows as WS_SYSMENU -- (from WEL_WS_CONSTANTS) Ws_thickframe: INTEGER_32 = 262144 -- Declared in Windows as WS_THICKFRAME -- Was declared in {WEL_WS_CONSTANTS} as synonym of `ws_sizebox`. -- (from WEL_WS_CONSTANTS) Ws_vscroll: INTEGER_32 = 2097152 -- Declared in Windows as WS_VSCROLL -- (from WEL_WS_CONSTANTS) feature -- Markers fixme (comment: READABLE_STRING_8) -- Mark code that has to be "fixed" with comment. -- (from REFACTORING_HELPER) require -- from REFACTORING_HELPER comment_not_void: comment /= Void ensure -- from REFACTORING_HELPER instance_free: class to_implement (comment: READABLE_STRING_8) -- Mark code that has to be "implemented" with comment. -- (from REFACTORING_HELPER) require -- from REFACTORING_HELPER comment_not_void: comment /= Void ensure -- from REFACTORING_HELPER instance_free: class to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN -- Mark assertion that has to be "implemented" with comment. -- (from REFACTORING_HELPER) require -- from REFACTORING_HELPER comment_not_void: comment /= Void ensure -- from REFACTORING_HELPER instance_free: class feature -- Messages Cb_addstring: INTEGER_32 = 323 -- Declared in Windows as CB_ADDSTRING -- (from WEL_COMBO_BOX_CONSTANTS) Cb_deletestring: INTEGER_32 = 324 -- Declared in Windows as CB_DELETESTRING -- (from WEL_COMBO_BOX_CONSTANTS) Cb_dir: INTEGER_32 = 325 -- Declared in Windows as CB_DIR -- (from WEL_COMBO_BOX_CONSTANTS) Cb_err: INTEGER_32 = -1 -- Declared in Windows as CB_ERR -- (from WEL_COMBO_BOX_CONSTANTS) Cb_errspace: INTEGER_32 = -2 -- Declared in Windows as CB_ERRSPACE -- (from WEL_COMBO_BOX_CONSTANTS) Cb_findstring: INTEGER_32 = 332 -- Declared in Windows as CB_FINDSTRING -- (from WEL_COMBO_BOX_CONSTANTS) Cb_findstringexact: INTEGER_32 = 344 -- Declared in Windows as CB_FINDSTRINGEXACT -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getcount: INTEGER_32 = 326 -- Declared in Windows as CB_GETCOUNT -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getcursel: INTEGER_32 = 327 -- Declared in Windows as CB_GETCURSEL -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getdroppedcontrolrect: INTEGER_32 = 338 -- Declared in Windows as CB_GETDROPPEDCONTROLRECT -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getdroppedstate: INTEGER_32 = 343 -- Declared in Windows as CB_GETDROPPEDSTATE -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getdroppedwidth: INTEGER_32 = 351 -- An application sends the CB_GETDROPPEDWIDTH message to -- retrieve the minimum allowable width, in pixels, of the -- list box of a combo box with the CBS_DROPDOWN or CBS_DROPDOWNLIST style. -- (from WEL_COMBO_BOX_CONSTANTS) Cb_geteditsel: INTEGER_32 = 320 -- Declared in Windows as CB_GETEDITSEL -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getextendedui: INTEGER_32 = 342 -- Declared in Windows as CB_GETEXTENDEDUI -- (from WEL_COMBO_BOX_CONSTANTS) Cb_gethorizontalextent: INTEGER_32 = 349 -- An application sends the CB_GETHORIZONTALEXTENT message to -- retrieve from a combo box the width, in pixels, by which -- the list box can be scrolled horizontally (the scrollable width). -- This is applicable only if the list box has a horizontal scroll bar. -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getitemdata: INTEGER_32 = 336 -- Declared in Windows as CB_GETITEMDATA -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getitemheight: INTEGER_32 = 340 -- Declared in Windows as CB_GETITEMHEIGHT -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getlbtext: INTEGER_32 = 328 -- Declared in Windows as CB_GETLBTEXT -- (from WEL_COMBO_BOX_CONSTANTS) Cb_getlbtextlen: INTEGER_32 = 329 -- Declared in Windows as CB_GETLBTEXTLEN -- (from WEL_COMBO_BOX_CONSTANTS) Cb_gettopindex: INTEGER_32 = 347 -- An application sends the CB_GETTOPINDEX message to -- retrieve the zero-based index of the first visible -- item in the list box portion of a combo box. -- -- Initially, the item with index 0 is at the top of -- the list box, but if the list box contents have -- been scrolled, another item may be at the top. -- (from WEL_COMBO_BOX_CONSTANTS) Cb_insertstring: INTEGER_32 = 330 -- Declared in Windows as CB_INSERTSTRING -- (from WEL_COMBO_BOX_CONSTANTS) Cb_limittext: INTEGER_32 = 321 -- Declared in Windows as CB_LIMITTEXT -- (from WEL_COMBO_BOX_CONSTANTS) Cb_okay: INTEGER_32 = 0 -- Declared in Windows as CB_OKAY -- (from WEL_COMBO_BOX_CONSTANTS) Cb_resetcontent: INTEGER_32 = 331 -- Declared in Windows as CB_RESETCONTENT -- (from WEL_COMBO_BOX_CONSTANTS) Cb_selectstring: INTEGER_32 = 333 -- Declared in Windows as CB_SELECTSTRING -- (from WEL_COMBO_BOX_CONSTANTS) Cb_setcursel: INTEGER_32 = 334 -- Declared in Windows as CB_SETCURSEL -- (from WEL_COMBO_BOX_CONSTANTS) Cb_setdroppedwidth: INTEGER_32 = 352 -- An application sends the CB_SETDROPPEDWIDTH message to set -- the maximum allowable width, in pixels, of the list box of -- a combo box with the CBS_DROPDOWN or CBS_DROPDOWNLIST style. -- (from WEL_COMBO_BOX_CONSTANTS) Cb_seteditsel: INTEGER_32 = 322 -- Declared in Windows as CB_SETEDITSEL -- (from WEL_COMBO_BOX_CONSTANTS) Cb_setextendedui: INTEGER_32 = 341 -- Declared in Windows as CB_SETEXTENDEDUI -- (from WEL_COMBO_BOX_CONSTANTS) Cb_sethorizontalextent: INTEGER_32 = 350 -- An application sends the CB_SETHORIZONTALEXTENT message to -- set the width, in pixels, by which a list box can be scrolled -- horizontally (the scrollable width). If the width of the list -- box is smaller than this value, the horizontal scroll bar -- horizontally scrolls items in the list box. If the width -- of the list box is equal to or greater than this value, -- the horizontal scroll bar is hidden or, if the combo box has -- the CBS_DISABLENOSCROLL style, disabled. -- (from WEL_COMBO_BOX_CONSTANTS) Cb_setitemdata: INTEGER_32 = 337 -- Declared in Windows as CB_SETITEMDATA -- (from WEL_COMBO_BOX_CONSTANTS) Cb_setitemheight: INTEGER_32 = 339 -- Declared in Windows as CB_SETITEMHEIGHT -- (from WEL_COMBO_BOX_CONSTANTS) Cb_settopindex: INTEGER_32 = 348 -- An application sends the CB_SETTOPINDEX message to -- ensure that a particular item is visible in the -- list box of a combo box. The system scrolls the -- list box contents so that either the specified -- item appears at the top of the list box or the -- maximum scroll range has been reached. -- (from WEL_COMBO_BOX_CONSTANTS) Cb_showdropdown: INTEGER_32 = 335 -- Declared in Windows as CB_SHOWDROPDOWN -- (from WEL_COMBO_BOX_CONSTANTS) feature -- Notification on_cben_beginedit_item -- The user activated the drop-down list or clicked in the -- control's edit box. -- (from WEL_COMBO_BOX_EX) on_cben_delete_item (an_item: WEL_COMBO_BOX_EX_ITEM) -- An item has been deleted from the control. -- (from WEL_COMBO_BOX_EX) on_cben_endedit_item (info: WEL_NM_COMBO_BOX_EX_ENDEDIT) -- The user has concluded an operation within the edit box -- or has selected an item from the control's drop-down list. -- (from WEL_COMBO_BOX_EX) on_cben_insert_item (an_item: WEL_COMBO_BOX_EX_ITEM) -- An item has been inserted in the control. -- (from WEL_COMBO_BOX_EX) feature -- Notifications Cbn_closeup: INTEGER_32 = 8 -- Declared in Windows as CBN_CLOSEUP -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_dblclk: INTEGER_32 = 2 -- Declared in Windows as CBN_DBLCLK -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_dropdown: INTEGER_32 = 7 -- Declared in Windows as CBN_DROPDOWN -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_editchange: INTEGER_32 = 5 -- Declared in Windows as CBN_EDITCHANGE -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_editupdate: INTEGER_32 = 6 -- Declared in Windows as CBN_EDITUPDATE -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_errspace: INTEGER_32 = -1 -- Declared in Windows as CBN_ERRSPACE -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_killfocus: INTEGER_32 = 4 -- Declared in Windows as CBN_KILLFOCUS -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_selchange: INTEGER_32 = 1 -- Declared in Windows as CBN_SELCHANGE -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_selendcancel: INTEGER_32 = 10 -- Declared in Windows as CBN_SELENDCANCEL -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_selendok: INTEGER_32 = 9 -- Declared in Windows as CBN_SELENDOK -- (from WEL_COMBO_BOX_CONSTANTS) Cbn_setfocus: INTEGER_32 = 3 -- Declared in Windows as CBN_SETFOCUS -- (from WEL_COMBO_BOX_CONSTANTS) on_cbn_closeup -- The combo box has been closed. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_dblclk -- The user double-clicks a string in the list box. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_dropdown -- The list box is about to be made visible. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_editchange -- The user has taken an action that may have altered -- the text in the edit control portion. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_editupdate -- The edit control portion is about to -- display altered text. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_errspace -- The combo box cannot allocate enough memory to -- meet a specific request. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_killfocus -- The combo box loses the keyboard focus. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_selchange -- The selection is about to be changed. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_selendcancel -- The user selects an item, but then selects another -- control or closes the dialog box. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_selendok -- The user selects a list item, or selects -- an item an then closes the list. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists on_cbn_setfocus -- The combo box receives the keyboard focus. -- (from WEL_COMBO_BOX) require -- from WEL_COMBO_BOX exists: exists feature -- Output Io: STD_FILES -- Handle to standard file setup -- (from ANY) ensure -- from ANY instance_free: class io_not_void: Result /= Void out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY out_not_void: Result /= Void print (o: detachable ANY) -- Write terse external representation of o -- on standard output. -- (from ANY) ensure -- from ANY instance_free: class frozen tagged_out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY tagged_out_not_void: Result /= Void feature -- Platform Operating_environment: OPERATING_ENVIRONMENT -- Objects available from the operating system -- (from ANY) ensure -- from ANY instance_free: class operating_environment_not_void: Result /= Void feature -- Registration is_registered: BOOLEAN -- Is window registered? -- (from WEL_WINDOW) frozen register_current_window -- Register Current in window manager. -- (from WEL_WINDOW) ensure -- from WEL_WINDOW registered: is_registered feature -- Status settings set_limit_text (limit: INTEGER_32) -- Set the length of the text the user may type. require exists: exists positive_limit: limit >= 0 set_text (a_text: detachable READABLE_STRING_GENERAL) -- Set the window text require -- from WEL_WINDOW exists: exists ensure -- from WEL_WINDOW text_set_when_not_void: a_text /= Void implies text.same_string_general (a_text) text_set_when_void: a_text = Void implies text.count = 0 feature -- Structure Information Cbeif_di_setitem: INTEGER_32 = 268435456 -- The control should store the item data and not ask -- for it again. This flag is used only with the -- CBEN_GETDISPINFO notification message. -- -- Declared in Windows as CBEIF_DI_SETITEM -- (from WEL_COMBO_BOX_CONSTANTS) Cbeif_image: INTEGER_32 = 2 -- The image member is valid or must be filled in. -- -- Declared in Windows as CBEIF_IMAGE -- (from WEL_COMBO_BOX_CONSTANTS) Cbeif_indent: INTEGER_32 = 16 -- The indent member is valid or must be filled in. -- -- Declared in Windows as CBEIF_INDENT -- (from WEL_COMBO_BOX_CONSTANTS) Cbeif_lparam: INTEGER_32 = 32 -- The lparam member is valid or must be filled in. -- -- Declared in Windows as CBEIF_LPARAM -- (from WEL_COMBO_BOX_CONSTANTS) Cbeif_overlay: INTEGER_32 = 8 -- The overlay member is valid or must be filled in. -- -- Declared in Windows as CBEIF_OVERLAY -- (from WEL_COMBO_BOX_CONSTANTS) Cbeif_selectedimage: INTEGER_32 = 4 -- The selected_image member is valid or must be -- filled in. -- -- Declared in Windows as CBEIF_SELECTEDIMAGE -- (from WEL_COMBO_BOX_CONSTANTS) Cbeif_text: INTEGER_32 = 1 -- The `text` member is valid or must be filled in. -- -- Declared in Windows as CBEIF_TEXT -- (from WEL_COMBO_BOX_CONSTANTS) feature -- Style Cbs_autohscroll: INTEGER_32 = 64 -- Automatically scrolls the text in an edit control to the right -- when the user types a character at the end of the line. If -- this style is not set, only text that fits within the -- rectangular boundary is allowed. -- -- Declared in Windows as CBS_AUTOHSCROLL -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_disablenoscroll: INTEGER_32 = 2048 -- Shows a disabled vertical scroll bar in the list box when the -- box does not contain enough items to scroll. Without this -- style, the scroll bar is hidden when the list box does not -- contain enough items. -- Declared in Windows as CBS_DISABLENOSCROLL -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_dropdown: INTEGER_32 = 2 -- Similar to CBS_SIMPLE, except that the list box is not -- displayed unless the user selects an icon next to the edit -- control. -- -- Declared in Windows as CBS_DROPDOWN -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_dropdownlist: INTEGER_32 = 3 -- Similar to CBS_DROPDOWN, except that the edit control is -- replaced by a static text item that displays the current -- selection in the list box. -- -- Declared in Windows as CBS_DROPDOWNLIST -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_hasstrings: INTEGER_32 = 512 -- Specifies that an owner-drawn combo box contains items -- consisting of strings. The combo box maintains the memory and -- address for the strings so the application can use the -- CB_GETLBTEXT message to retrieve the text for a particular -- item. -- -- Declared in Windows as CBS_HASSTRINGS -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_lowercase: INTEGER_32 = 16384 -- Converts to lowercase all text in both the selection field -- and the list. -- -- Declared in Windows as CBS_LOWERCASE -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_nointegralheight: INTEGER_32 = 1024 -- Specifies that the size of the combo box is exactly the size -- specified by the application when it created the combo box. -- Normally, the system sizes a combo box so that it does not -- display partial items. -- -- Declared in Windows as CBS_NOINTEGRALHEIGHT -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_oemconvert: INTEGER_32 = 128 -- Converts text entered in the combo box edit control from the -- Windows character set to the OEM character set and then back -- to the Windows set. This ensures proper character conversion -- when the application calls the CharToOem function to convert a -- Windows string in the combo box to OEM characters. This style -- is most useful for combo boxes that contain file names and -- applies only to combo boxes created with the CBS_SIMPLE or -- CBS_DROPDOWN style. -- -- Declared in Windows as CBS_OEMCONVERT -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_ownerdrawfixed: INTEGER_32 = 16 -- Specifies that the owner of the list box is responsible for -- drawing its contents and that the items in the list box are -- all the same height. The owner window receives a -- WM_MEASUREITEM message when the combo box is created and a -- WM_DRAWITEM message when a visual aspect of the combo box has -- changed. -- -- Declared in Windows as CBS_OWNERDRAWFIXED -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_ownerdrawvariable: INTEGER_32 = 32 -- Specifies that the owner of the list box is responsible for -- drawing its contents and that the items in the list box are -- variable in height. The owner window receives a WM_MEASUREITEM -- message for each item in the combo box when you create the -- combo box and a WM_DRAWITEM message when a visual aspect of -- the combo box has changed. -- -- Declared in Windows as CBS_OWNERDRAWVARIABLE -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_simple: INTEGER_32 = 1 -- Displays the list box at all times. The current selection in -- the list box is displayed in the edit control. -- -- Declared in Windows as CBS_SIMPLE -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_sort: INTEGER_32 = 256 -- Automatically sorts strings added to the list box. -- Declared in Windows as CBS_SORT -- (from WEL_COMBO_BOX_CONSTANTS) Cbs_uppercase: INTEGER_32 = 8192 -- Converts to uppercase all text in both the selection field and -- the list. -- -- Declared in Windows as CBS_UPPERCASE -- (from WEL_COMBO_BOX_CONSTANTS) invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) note copyright: "Copyright (c) 1984-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class WEL_DROP_DOWN_COMBO_BOX_EX -- Generated by Eiffel Studio --
For more details: eiffel.org