1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> 2<html> 3 4<head> 5<title>Windows Interface Reference: Edit structure</title> 6</head> 7 8<body> 9 10<h1>Edit </h1> 11 12<p>The Edit structure contains styles and notifications for Edit windows. Edit 13windows provide simple ways of entering and editing text. Single line edit controls 14are frequently used in dialogue boxes to allow strings to be entered. Multiple line 15edit windows can be used as simple text editors. Specialised edit window messages 16begin with <a href="Message.html#Edit">EM_</a>. The values from the 17Notification substructure are sent as the <em>code</em> parameter in a <a 18href="Message.html#WM_NOTIFY">WM_NOTIFY</a> message. </p> 19 20<pre>structure Edit: 21sig 22 structure Style: 23 sig 24 include BIT_FLAGS where type flags = Window.Style.flags 25 val WS_OVERLAPPED: flags and WS_POPUP: flags and WS_CHILD: flags and WS_MINIMIZE: flags 26 and WS_VISIBLE: flags and WS_DISABLED:flags and WS_CLIPSIBLINGS:flags 27 and WS_CLIPCHILDREN:flags and WS_MAXIMIZE:flags and WS_CAPTION:flags 28 and WS_BORDER:flags and WS_DLGFRAME:flags and WS_VSCROLL:flags and WS_HSCROLL:flags 29 and WS_SYSMENU:flags and WS_THICKFRAME:flags and WS_GROUP:flags and WS_TABSTOP:flags 30 and WS_MINIMIZEBOX:flags and WS_MAXIMIZEBOX:flags and WS_TILED:flags and WS_ICONIC:flags 31 and WS_SIZEBOX:flags and WS_OVERLAPPEDWINDOW:flags and WS_TILEDWINDOW:flags 32 and WS_POPUPWINDOW:flags and WS_CHILDWINDOW:flags 33 and ES_LEFT: flags and ES_CENTER:flags and ES_RIGHT:flags and ES_MULTILINE:flags 34 and ES_UPPERCASE: flags and ES_LOWERCASE: flags and ES_PASSWORD: flags 35 and ES_AUTOVSCROLL: flags and ES_AUTOHSCROLL: flags and ES_NOHIDESEL: flags 36 and ES_OEMCONVERT: flags and ES_READONLY: flags and ES_WANTRETURN: flags and ES_NUMBER: flags 37 end 38 39 structure Notifications: 40 sig 41 val EN_SETFOCUS: int 42 val EN_KILLFOCUS: int 43 val EN_CHANGE: int 44 val EN_UPDATE: int 45 val EN_ERRSPACE: int 46 val EN_MAXTEXT: int 47 val EN_HSCROLL: int 48 val EN_VSCROLL: int 49 end 50end</pre> 51</body> 52</html> 53