annotate doc/misc/widget.texi @ 106939:beaca50ab7dd

Merge from mainline.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Mon, 18 Jan 2010 22:02:28 +0000
parents 1d1d5d9bd884
children f1266b2f017e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84324
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 \input texinfo.tex
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 @c %**start of header
84329
3d431f1997d8 (setfilename): Go up one more level to ../../info.
Glenn Morris <rgm@gnu.org>
parents: 84324
diff changeset
3 @setfilename ../../info/widget
84324
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 @settitle The Emacs Widget Library
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 @syncodeindex fn cp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 @syncodeindex vr cp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 @syncodeindex ky cp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 @c %**end of header
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 @copying
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 Copyright @copyright{} 2000, 2001, 2002, 2003, 2004, 2005,
106815
1d1d5d9bd884 Add 2010 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 103851
diff changeset
12 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
84324
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 @quotation
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 Permission is granted to copy, distribute and/or modify this document
99709
6de181810d0f Relicense all texi files under FDL 1.3 or later.
Glenn Morris <rgm@gnu.org>
parents: 95936
diff changeset
16 under the terms of the GNU Free Documentation License, Version 1.3 or
95936
ce35dd677448 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
17 any later version published by the Free Software Foundation; with no
ce35dd677448 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
18 Invariant Sections, with the Front-Cover texts being ``A GNU Manual'',
ce35dd677448 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
19 and with the Back-Cover Texts as in (a) below. A copy of the license
ce35dd677448 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
20 is included in the section entitled ``GNU Free Documentation License''.
84324
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21
95874
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
22 (a) The FSF's Back-Cover Text is: ``You have the freedom to copy and
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
23 modify this GNU manual. Buying copies from the FSF supports it in
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
24 developing GNU and promoting software freedom.''
84324
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 @end quotation
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 @end copying
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 @dircategory Emacs
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 @direntry
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 * Widget: (widget). The "widget" package used by the Emacs Customization
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 facility.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 @end direntry
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33
102059
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
34 @contents
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
35
84324
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 @node Top, Introduction, (dir), (dir)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 @top The Emacs Widget Library
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39
102059
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
40 @insertcopying
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
41
84324
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 @menu
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 * Introduction::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 * User Interface::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 * Programming Example::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 * Setting Up the Buffer::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 * Basic Types::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 * Sexp Types::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 * Widget Properties::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 * Defining New Widgets::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 * Widget Browser::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 * Widget Minor Mode::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 * Utilities::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 * Widget Wishlist::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 * GNU Free Documentation License::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 * Index::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 @end menu
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 @node Introduction, User Interface, Top, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 @section Introduction
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 Most graphical user interface toolkits provide a number of standard
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 user interface controls (sometimes known as `widgets' or `gadgets').
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 Emacs doesn't really support anything like this, except for an
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 incredibly powerful text ``widget.'' On the other hand, Emacs does
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 provide the necessary primitives to implement many other widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 within a text buffer. The @code{widget} package simplifies this task.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 @cindex basic widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 @cindex widgets, basic types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 The basic widgets are:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 @item link
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 Areas of text with an associated action. Intended for hypertext links
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 embedded in text.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 @item push-button
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 Like link, but intended for stand-alone buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 @item editable-field
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 An editable text field. It can be either variable or fixed length.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 @item menu-choice
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 Allows the user to choose one of multiple options from a menu, each
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 option is itself a widget. Only the selected option will be visible in
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 @item radio-button-choice
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 Allows the user to choose one of multiple options by activating radio
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 buttons. The options are implemented as widgets. All options will be
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 visible in the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 @item item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 A simple constant widget intended to be used in the @code{menu-choice} and
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 @code{radio-button-choice} widgets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 @item choice-item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 A button item only intended for use in choices. When invoked, the user
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 will be asked to select another option from the choice widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 @item toggle
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 A simple @samp{on}/@samp{off} switch.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 @item checkbox
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 A checkbox (@samp{[ ]}/@samp{[X]}).
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 @item editable-list
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 Create an editable list. The user can insert or delete items in the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 list. Each list item is itself a widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 Now, of what possible use can support for widgets be in a text editor?
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 I'm glad you asked. The answer is that widgets are useful for
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 implementing forms. A @dfn{form} in Emacs is a buffer where the user is
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 supposed to fill out a number of fields, each of which has a specific
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 meaning. The user is not supposed to change or delete any of the text
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 between the fields. Examples of forms in Emacs are the @file{forms}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 package (of course), the customize buffers, the mail and news compose
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112 modes, and the @acronym{HTML} form support in the @file{w3} browser.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 @cindex widget library, why use it
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 The advantages for a programmer of using the @code{widget} package to
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 implement forms are:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 @enumerate
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 More complex fields than just editable text are supported.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 You can give the users immediate feedback if they enter invalid data in a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123 text field, and sometimes prevent entering invalid data.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 You can have fixed sized fields, thus allowing multiple fields to be
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 lined up in columns.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 It is simple to query or set the value of a field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130 Editing happens in the buffer, not in the mini-buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132 Packages using the library get a uniform look, making them easier for
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133 the user to learn.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 As support for embedded graphics improve, the widget library will be
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 extended to use the GUI features. This means that your code using the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137 widget library will also use the new graphic features automatically.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 @end enumerate
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 @node User Interface, Programming Example, Introduction, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 @section User Interface
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 A form consists of read only text for documentation and some fields,
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 where each field contains two parts, a tag and a value. The tags are
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
146 used to identify the fields, so the documentation can refer to the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147 @samp{foo field}, meaning the field tagged with @samp{Foo}. Here is an
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 example form:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 Here is some documentation.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153 Name: @i{My Name} @strong{Choose}: This option
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 Address: @i{Some Place
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 In some City
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156 Some country.}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
157
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158 See also @b{_other work_} for more information.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
159
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160 Numbers: count to three below
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161 @b{[INS]} @b{[DEL]} @i{One}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162 @b{[INS]} @b{[DEL]} @i{Eh, two?}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 @b{[INS]} @b{[DEL]} @i{Five!}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 @b{[INS]}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 Select multiple:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 @b{[X]} This
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 @b{[ ]} That
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 @b{[X]} Thus
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172 Select one:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 @b{(*)} One
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 @b{( )} Another One.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176 @b{( )} A Final One.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 @b{[Apply Form]} @b{[Reset Form]}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181 The top level widgets in this example are tagged @samp{Name},
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182 @samp{Choose}, @samp{Address}, @samp{_other work_}, @samp{Numbers},
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
183 @samp{Select multiple}, @samp{Select one}, @samp{[Apply Form]}, and
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 @samp{[Reset Form]}. There are basically two things the user can do
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 within a form, namely editing the editable text fields and activating
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186 the buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 @subsection Editable Text Fields
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 In the example, the value for the @samp{Name} is most likely displayed
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191 in an editable text field, and so are values for each of the members of
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
192 the @samp{Numbers} list. All the normal Emacs editing operations are
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 available for editing these fields. The only restriction is that each
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194 change you make must be contained within a single editable text field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195 For example, capitalizing all text from the middle of one field to the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 middle of another field is prohibited.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
197
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
198 Editable text fields are created by the @code{editable-field} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 @strong{Warning:} In an @code{editable-field} widget, the editable
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201 field must not be adjacent to another widget---that won't work.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 You must put some text in between. Either make this text part of
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203 the @code{editable-field} widget itself, or insert it with
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 @code{widget-insert}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206 The @code{:format} keyword is useful for generating the necessary
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 text; for instance, if you give it a value of @code{"Name: %v "},
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208 the @samp{Name: } part will provide the necessary separating text
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 before the field and the trailing space will provide the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210 separating text after the field. If you don't include the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211 @code{:size} keyword, the field will extend to the end of the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212 line, and the terminating newline will provide separation after.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214 @strong{Warning:} In an @code{editable-field} widget, the @samp{%v} escape
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215 must be preceded by some other text in the @code{:format} string
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
216 (if specified).
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
217
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
218 The editing text fields are highlighted with the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219 @code{widget-field-face} face, making them easy to find.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221 @deffn Face widget-field-face
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
222 Face used for other editing fields.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
225 @subsection Buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
226
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227 @cindex widget buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228 @cindex button widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 Some portions of the buffer have an associated @dfn{action}, which can
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
230 be @dfn{invoked} by a standard key or mouse command. These portions
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
231 are called @dfn{buttons}. The default commands for activating a button
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
232 are:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
233
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
234 @table @kbd
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
235 @item @key{RET}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
236 @deffn Command widget-button-press @var{pos} &optional @var{event}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237 Invoke the button at @var{pos}, defaulting to point.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238 If point is not located on a button, invoke the binding in
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
239 @code{widget-global-map} (by default the global map).
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
240 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
241
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 @kindex Mouse-2 @r{(on button widgets})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
243 @item Mouse-2
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
244 @deffn Command widget-button-click @var{event}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
245 Invoke the button at the location of the mouse pointer. If the mouse
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
246 pointer is located in an editable text field, invoke the binding in
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
247 @code{widget-global-map} (by default the global map).
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
249 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
250
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251 There are several different kind of buttons, all of which are present in
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 the example:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
254 @table @emph
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
255 @cindex option field tag
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
256 @item The Option Field Tags
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
257 When you invoke one of these buttons, you will be asked to choose
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
258 between a number of different options. This is how you edit an option
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
259 field. Option fields are created by the @code{menu-choice} widget. In
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
260 the example, @samp{@b{Choose}} is an option field tag.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
261 @item The @samp{@b{[INS]}} and @samp{@b{[DEL]}} buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
262 Activating these will insert or delete elements from an editable list.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
263 The list is created by the @code{editable-list} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
264 @cindex embedded buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
265 @item Embedded Buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
266 The @samp{@b{_other work_}} is an example of an embedded
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
267 button. Embedded buttons are not associated with any fields, but can serve
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
268 any purpose, such as implementing hypertext references. They are
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
269 usually created by the @code{link} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
270 @item The @samp{@b{[ ]}} and @samp{@b{[X]}} buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
271 Activating one of these will convert it to the other. This is useful
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
272 for implementing multiple-choice fields. You can create them with the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
273 @code{checkbox} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
274 @item The @samp{@b{( )}} and @samp{@b{(*)}} buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
275 Only one radio button in a @code{radio-button-choice} widget can be
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
276 selected at any time. When you invoke one of the unselected radio
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
277 buttons, it will be selected and the previous selected radio button will
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
278 become unselected.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
279 @item The @samp{@b{[Apply Form]}} and @samp{@b{[Reset Form]}} buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
280 These are explicit buttons made with the @code{push-button} widget. The
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
281 main difference from the @code{link} widget is that the buttons will be
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
282 displayed as GUI buttons when possible.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
283 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
284
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
285 To make them easier to locate, buttons are emphasized in the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
286
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
287 @deffn Face widget-button-face
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
288 Face used for buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
289 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
290
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
291 @defopt widget-mouse-face
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
292 Face used for highlighting a button when the mouse pointer moves across
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
293 it.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
294 @end defopt
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
295
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
296 @subsection Navigation
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
297
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
298 You can use all the normal Emacs commands to move around in a form
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
299 buffer, plus you will have these additional commands:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
300
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
301 @table @kbd
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
302 @item @key{TAB}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
303 @deffn Command widget-forward &optional count
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
304 Move point @var{count} buttons or editing fields forward.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
305 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
306 @item @kbd{M-@key{TAB}}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
307 @itemx @kbd{S-@key{TAB}}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
308 @deffn Command widget-backward &optional count
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
309 Move point @var{count} buttons or editing fields backward.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
310 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
311 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
312
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
313 @node Programming Example, Setting Up the Buffer, User Interface, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
314 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
315 @section Programming Example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
316
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
317 @cindex widgets, programming example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
318 @cindex example of using widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
319 Here is the code to implement the user interface example (@pxref{User
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
320 Interface}).
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
321
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
322 @lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
323 (require 'widget)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
324
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
325 (eval-when-compile
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
326 (require 'wid-edit))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
327
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
328 (defvar widget-example-repeat)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
329
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
330 (defun widget-example ()
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
331 "Create the widgets from the Widget manual."
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
332 (interactive)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
333 (switch-to-buffer "*Widget Example*")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
334 (kill-all-local-variables)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
335 (make-local-variable 'widget-example-repeat)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
336 (let ((inhibit-read-only t))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
337 (erase-buffer))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
338 (remove-overlays)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
339 (widget-insert "Here is some documentation.\n\n")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
340 (widget-create 'editable-field
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
341 :size 13
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
342 :format "Name: %v " ; Text after the field!
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
343 "My Name")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
344 (widget-create 'menu-choice
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
345 :tag "Choose"
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
346 :value "This"
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
347 :help-echo "Choose me, please!"
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
348 :notify (lambda (widget &rest ignore)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
349 (message "%s is a good choice!"
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
350 (widget-value widget)))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
351 '(item :tag "This option" :value "This")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
352 '(choice-item "That option")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
353 '(editable-field :menu-tag "No option" "Thus option"))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
354 (widget-create 'editable-field
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
355 :format "Address: %v"
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
356 "Some Place\nIn some City\nSome country.")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
357 (widget-insert "\nSee also ")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
358 (widget-create 'link
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
359 :notify (lambda (&rest ignore)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
360 (widget-value-set widget-example-repeat
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
361 '("En" "To" "Tre"))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
362 (widget-setup))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
363 "other work")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
364 (widget-insert
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
365 " for more information.\n\nNumbers: count to three below\n")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
366 (setq widget-example-repeat
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
367 (widget-create 'editable-list
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
368 :entry-format "%i %d %v"
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
369 :notify (lambda (widget &rest ignore)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
370 (let ((old (widget-get widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
371 ':example-length))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
372 (new (length (widget-value widget))))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
373 (unless (eq old new)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
374 (widget-put widget ':example-length new)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
375 (message "You can count to %d." new))))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
376 :value '("One" "Eh, two?" "Five!")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
377 '(editable-field :value "three")))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
378 (widget-insert "\n\nSelect multiple:\n\n")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
379 (widget-create 'checkbox t)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
380 (widget-insert " This\n")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
381 (widget-create 'checkbox nil)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
382 (widget-insert " That\n")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
383 (widget-create 'checkbox
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
384 :notify (lambda (&rest ignore) (message "Tickle"))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
385 t)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
386 (widget-insert " Thus\n\nSelect one:\n\n")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
387 (widget-create 'radio-button-choice
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
388 :value "One"
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
389 :notify (lambda (widget &rest ignore)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
390 (message "You selected %s"
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
391 (widget-value widget)))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
392 '(item "One") '(item "Another One.") '(item "A Final One."))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
393 (widget-insert "\n")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
394 (widget-create 'push-button
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
395 :notify (lambda (&rest ignore)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
396 (if (= (length (widget-value widget-example-repeat))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
397 3)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
398 (message "Congratulation!")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
399 (error "Three was the count!")))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
400 "Apply Form")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
401 (widget-insert " ")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
402 (widget-create 'push-button
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
403 :notify (lambda (&rest ignore)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
404 (widget-example))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
405 "Reset Form")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
406 (widget-insert "\n")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
407 (use-local-map widget-keymap)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
408 (widget-setup))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
409 @end lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
410
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
411 @node Setting Up the Buffer, Basic Types, Programming Example, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
412 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
413 @section Setting Up the Buffer
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
414
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
415 Widgets are created with @code{widget-create}, which returns a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
416 @dfn{widget} object. This object can be queried and manipulated by
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
417 other widget functions, until it is deleted with @code{widget-delete}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
418 After the widgets have been created, @code{widget-setup} must be called
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
419 to enable them.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
420
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
421 @defun widget-create type [ keyword argument ]@dots{}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
422 Create and return a widget of type @var{type}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
423 The syntax for the @var{type} argument is described in @ref{Basic Types}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
424
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
425 The keyword arguments can be used to overwrite the keyword arguments
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
426 that are part of @var{type}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
427 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
428
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
429 @defun widget-delete widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
430 Delete @var{widget} and remove it from the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
431 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
432
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
433 @defun widget-setup
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
434 Set up a buffer to support widgets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
435
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
436 This should be called after creating all the widgets and before allowing
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
437 the user to edit them.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
438 @refill
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
439 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
440
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
441 If you want to insert text outside the widgets in the form, the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
442 recommended way to do that is with @code{widget-insert}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
443
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
444 @defun widget-insert
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
445 Insert the arguments, either strings or characters, at point.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
446 The inserted text will be read-only.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
447 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
448
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
449 There is a standard widget keymap which you might find useful.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
450
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
451 @findex widget-button-press
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
452 @findex widget-button-click
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
453 @defvr Const widget-keymap
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
454 A keymap with the global keymap as its parent.@*
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
455 @key{TAB} and @kbd{C-@key{TAB}} are bound to @code{widget-forward} and
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
456 @code{widget-backward}, respectively. @key{RET} and @kbd{Mouse-2}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
457 are bound to @code{widget-button-press} and
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
458 @code{widget-button-click}.@refill
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
459 @end defvr
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
460
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
461 @defvar widget-global-map
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
462 Keymap used by @code{widget-button-press} and @code{widget-button-click}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
463 when not on a button. By default this is @code{global-map}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
464 @end defvar
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
465
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
466 @node Basic Types, Sexp Types, Setting Up the Buffer, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
467 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
468 @section Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
469
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
470 This is the general syntax of a type specification:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
471
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
472 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
473 @var{name} ::= (@var{name} [@var{keyword} @var{argument}]... @var{args})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
474 | @var{name}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
475 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
476
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
477 Where, @var{name} is a widget name, @var{keyword} is the name of a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
478 property, @var{argument} is the value of the property, and @var{args}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
479 are interpreted in a widget specific way.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
480
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
481 @cindex keyword arguments
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
482 The following keyword arguments apply to all widgets:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
483
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
484 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
485 @vindex value@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
486 @item :value
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
487 The initial value for widgets of this type.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
488
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
489 @vindex format@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
490 @item :format
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
491 This string will be inserted in the buffer when you create a widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
492 The following @samp{%} escapes are available:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
493
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
494 @table @samp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
495 @item %[
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
496 @itemx %]
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
497 The text inside will be marked as a button.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
498
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
499 By default, the text will be shown in @code{widget-button-face}, and
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
500 surrounded by brackets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
501
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
502 @defopt widget-button-prefix
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
503 String to prefix buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
504 @end defopt
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
505
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
506 @defopt widget-button-suffix
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
507 String to suffix buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
508 @end defopt
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
509
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
510 @item %@{
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
511 @itemx %@}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
512 The text inside will be displayed with the face specified by
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
513 @code{:sample-face}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
514
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
515 @item %v
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
516 This will be replaced with the buffer representation of the widget's
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
517 value. What this is depends on the widget type.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
518
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
519 @strong{Warning:} In an @code{editable-field} widget, the @samp{%v} escape
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
520 must be preceded by some other text in the format string (if specified).
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
521
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
522 @item %d
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
523 Insert the string specified by @code{:doc} here.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
524
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
525 @item %h
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
526 Like @samp{%d}, with the following modifications: If the documentation
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
527 string is more than one line, it will add a button which will toggle
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
528 between showing only the first line, and showing the full text.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
529 Furthermore, if there is no @code{:doc} property in the widget, it will
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
530 instead examine the @code{:documentation-property} property. If it is a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
531 lambda expression, it will be called with the widget's value as an
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
532 argument, and the result will be used as the documentation text.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
533
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
534 @item %t
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
535 Insert the string specified by @code{:tag} here, or the @code{princ}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
536 representation of the value if there is no tag.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
537
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
538 @item %%
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
539 Insert a literal @samp{%}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
540 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
541
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
542 @vindex button-face@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
543 @item :button-face
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
544 Face used to highlight text inside %[ %] in the format.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
545
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
546 @vindex button-prefix@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
547 @vindex button-suffix@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
548 @item :button-prefix
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
549 @itemx :button-suffix
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
550 Text around %[ %] in the format.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
551
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
552 These can be
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
553 @table @emph
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
554 @item nil
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
555 No text is inserted.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
556
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
557 @item a string
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
558 The string is inserted literally.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
559
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
560 @item a symbol
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
561 The value of the symbol is expanded according to this table.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
562 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
563
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
564 @vindex doc@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
565 @item :doc
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
566 The string inserted by the @samp{%d} escape in the format
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
567 string.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
568
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
569 @vindex tag@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
570 @item :tag
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
571 The string inserted by the @samp{%t} escape in the format
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
572 string.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
573
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
574 @vindex tag-glyph@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
575 @item :tag-glyph
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
576 Name of image to use instead of the string specified by @code{:tag} on
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
577 Emacsen that supports it.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
578
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
579 @vindex help-echo@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
580 @item :help-echo
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
581 Specifies how to display a message whenever you move to the widget with
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
582 either @code{widget-forward} or @code{widget-backward} or move the mouse
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
583 over it (using the standard @code{help-echo} mechanism). The argument
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
584 is either a string to display, a function of one argument, the widget,
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
585 which should return a string to display, or a form that evaluates to
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
586 such a string.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
587
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
588 @vindex follow-link@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
589 @item :follow-link
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
590 Specifies how to interpret a @key{mouse-1} click on the widget.
103851
c299597fc58f Kevin Ryde <user42 at zip.com.au>
Glenn Morris <rgm@gnu.org>
parents: 102059
diff changeset
591 @xref{Clickable Text,, Defining Clickable Text, elisp, the Emacs Lisp Reference Manual}.
84324
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
592
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
593 @vindex indent@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
594 @item :indent
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
595 An integer indicating the absolute number of spaces to indent children
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
596 of this widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
597
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
598 @vindex offset@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
599 @item :offset
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
600 An integer indicating how many extra spaces to add to the widget's
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
601 grandchildren compared to this widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
602
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
603 @vindex extra-offset@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
604 @item :extra-offset
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
605 An integer indicating how many extra spaces to add to the widget's
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
606 children compared to this widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
607
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
608 @vindex notify@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
609 @item :notify
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
610 A function called each time the widget or a nested widget is changed.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
611 The function is called with two or three arguments. The first argument
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
612 is the widget itself, the second argument is the widget that was
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
613 changed, and the third argument is the event leading to the change, if
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
614 any.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
615
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
616 @vindex menu-tag@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
617 @item :menu-tag
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
618 Tag used in the menu when the widget is used as an option in a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
619 @code{menu-choice} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
620
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
621 @vindex menu-tag-get@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
622 @item :menu-tag-get
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
623 Function used for finding the tag when the widget is used as an option
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
624 in a @code{menu-choice} widget. By default, the tag used will be either the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
625 @code{:menu-tag} or @code{:tag} property if present, or the @code{princ}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
626 representation of the @code{:value} property if not.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
627
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
628 @vindex match@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
629 @item :match
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
630 Should be a function called with two arguments, the widget and a value,
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
631 and returning non-@code{nil} if the widget can represent the specified value.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
632
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
633 @vindex validate@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
634 @item :validate
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
635 A function which takes a widget as an argument, and returns @code{nil}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
636 if the widget's current value is valid for the widget. Otherwise it
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
637 should return the widget containing the invalid data, and set that
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
638 widget's @code{:error} property to a string explaining the error.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
639
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
640 The following predefined function can be used:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
641
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
642 @defun widget-children-validate widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
643 All the @code{:children} of @var{widget} must be valid.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
644 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
645
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
646 @vindex tab-order@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
647 @item :tab-order
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
648 Specify the order in which widgets are traversed with
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
649 @code{widget-forward} or @code{widget-backward}. This is only partially
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
650 implemented.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
651
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
652 @enumerate a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
653 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
654 Widgets with tabbing order @code{-1} are ignored.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
655
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
656 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
657 (Unimplemented) When on a widget with tabbing order @var{n}, go to the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
658 next widget in the buffer with tabbing order @var{n+1} or @code{nil},
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
659 whichever comes first.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
660
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
661 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
662 When on a widget with no tabbing order specified, go to the next widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
663 in the buffer with a positive tabbing order, or @code{nil}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
664 @end enumerate
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
665
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
666 @vindex parent@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
667 @item :parent
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
668 The parent of a nested widget (e.g.@: a @code{menu-choice} item or an
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
669 element of a @code{editable-list} widget).
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
670
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
671 @vindex sibling-args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
672 @item :sibling-args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
673 This keyword is only used for members of a @code{radio-button-choice} or
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
674 @code{checklist}. The value should be a list of extra keyword
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
675 arguments, which will be used when creating the @code{radio-button} or
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
676 @code{checkbox} associated with this item.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
677
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
678 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
679
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
680 @deffn {User Option} widget-glyph-directory
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
681 Directory where glyphs are found.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
682 Widget will look here for a file with the same name as specified for the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
683 image, with either a @file{.xpm} (if supported) or @file{.xbm} extension.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
684 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
685
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
686 @deffn{User Option} widget-glyph-enable
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
687 If non-@code{nil}, allow glyphs to appear on displays where they are supported.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
688 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
689
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
690
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
691 @menu
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
692 * link::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
693 * url-link::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
694 * info-link::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
695 * push-button::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
696 * editable-field::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
697 * text::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
698 * menu-choice::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
699 * radio-button-choice::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
700 * item::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
701 * choice-item::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
702 * toggle::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
703 * checkbox::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
704 * checklist::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
705 * editable-list::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
706 * group::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
707 @end menu
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
708
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
709 @node link, url-link, Basic Types, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
710 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
711 @subsection The @code{link} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
712 @findex link@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
713
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
714 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
715
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
716 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
717 @var{type} ::= (link [@var{keyword} @var{argument}]... [ @var{value} ])
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
718 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
719
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
720 The @var{value}, if present, is used to initialize the @code{:value}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
721 property. The value should be a string, which will be inserted in the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
722 buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
723
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
724 By default the link will be shown in brackets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
725
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
726 @defopt widget-link-prefix
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
727 String to prefix links.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
728 @end defopt
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
729
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
730 @defopt widget-link-suffix
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
731 String to suffix links.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
732 @end defopt
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
733
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
734 @node url-link, info-link, link, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
735 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
736 @subsection The @code{url-link} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
737 @findex url-link@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
738
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
739 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
740
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
741 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
742 @var{type} ::= (url-link [@var{keyword} @var{argument}]... @var{url})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
743 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
744
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
745 @findex browse-url-browser-function@r{, and @code{url-link} widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
746 When this link is invoked, the @acronym{WWW} browser specified by
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
747 @code{browse-url-browser-function} will be called with @var{url}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
748
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
749 @node info-link, push-button, url-link, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
750 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
751 @subsection The @code{info-link} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
752 @findex info-link@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
753
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
754 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
755
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
756 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
757 @var{type} ::= (info-link [@var{keyword} @var{argument}]... @var{address})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
758 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
759
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
760 When this link is invoked, the built-in Info reader is started on
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
761 @var{address}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
762
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
763 @node push-button, editable-field, info-link, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
764 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
765 @subsection The @code{push-button} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
766 @findex push-button@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
767
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
768 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
769
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
770 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
771 @var{type} ::= (push-button [@var{keyword} @var{argument}]... [ @var{value} ])
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
772 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
773
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
774 The @var{value}, if present, is used to initialize the @code{:value}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
775 property. The value should be a string, which will be inserted in the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
776 buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
777
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
778 By default the tag will be shown in brackets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
779
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
780 @defopt widget-push-button-prefix
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
781 String to prefix push buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
782 @end defopt
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
783
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
784 @defopt widget-push-button-suffix
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
785 String to suffix push buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
786 @end defopt
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
787
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
788 @node editable-field, text, push-button, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
789 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
790 @subsection The @code{editable-field} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
791 @findex editable-field@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
792
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
793 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
794
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
795 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
796 @var{type} ::= (editable-field [@var{keyword} @var{argument}]... [ @var{value} ])
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
797 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
798
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
799 The @var{value}, if present, is used to initialize the @code{:value}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
800 property. The value should be a string, which will be inserted in the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
801 field. This widget will match all string values.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
802
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
803 The following extra properties are recognized:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
804
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
805 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
806 @vindex size@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
807 @item :size
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
808 The width of the editable field.@*
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
809 By default the field will reach to the end of the line.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
810
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
811 @vindex value-face@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
812 @item :value-face
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
813 Face used for highlighting the editable field. Default is
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
814 @code{widget-field-face}, see @ref{User Interface}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
815
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
816 @vindex secret@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
817 @item :secret
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
818 Character used to display the value. You can set this to e.g.@: @code{?*}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
819 if the field contains a password or other secret information. By
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
820 default, this is @code{nil}, and the value is not secret.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
821
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
822 @vindex valid-regexp@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
823 @item :valid-regexp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
824 By default the @code{:validate} function will match the content of the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
825 field with the value of this attribute. The default value is @code{""}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
826 which matches everything.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
827
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
828 @vindex keymap@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
829 @vindex widget-field-keymap
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
830 @item :keymap
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
831 Keymap used in the editable field. The default value is
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
832 @code{widget-field-keymap}, which allows you to use all the normal
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
833 editing commands, even if the buffer's major mode suppresses some of
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
834 them. Pressing @key{RET} invokes the function specified by
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
835 @code{:action}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
836 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
837
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
838 @node text, menu-choice, editable-field, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
839 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
840 @subsection The @code{text} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
841 @findex text@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
842
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
843 @vindex widget-text-keymap
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
844 This is just like @code{editable-field}, but intended for multiline text
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
845 fields. The default @code{:keymap} is @code{widget-text-keymap}, which
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
846 does not rebind the @key{RET} key.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
847
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
848 @node menu-choice, radio-button-choice, text, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
849 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
850 @subsection The @code{menu-choice} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
851 @findex menu-choice@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
852
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
853 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
854
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
855 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
856 @var{type} ::= (menu-choice [@var{keyword} @var{argument}]... @var{type} ... )
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
857 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
858
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
859 The @var{type} argument represents each possible choice. The widget's
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
860 value will be that of the chosen @var{type} argument. This widget will
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
861 match any value matching at least one of the specified @var{type}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
862 arguments.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
863
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
864 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
865 @vindex void@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
866 @item :void
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
867 Widget type used as a fallback when the value does not match any of the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
868 specified @var{type} arguments.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
869
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
870 @vindex case-fold@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
871 @item :case-fold
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
872 Set this to @code{nil} if you don't want to ignore case when prompting for a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
873 choice through the minibuffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
874
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
875 @vindex children@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
876 @item :children
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
877 A list whose @sc{car} is the widget representing the currently chosen
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
878 type in the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
879
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
880 @vindex choice@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
881 @item :choice
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
882 The current chosen type.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
883
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
884 @vindex args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
885 @item :args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
886 The list of types.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
887 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
888
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
889 @node radio-button-choice, item, menu-choice, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
890 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
891 @subsection The @code{radio-button-choice} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
892 @findex radio-button-choice@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
893
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
894 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
895
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
896 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
897 @var{type} ::= (radio-button-choice [@var{keyword} @var{argument}]... @var{type} ... )
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
898 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
899
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
900 The component types specify the choices, with one radio button for
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
901 each. The widget's value will be that of the chosen @var{type}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
902 argument. This widget matches any value that matches at least one of
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
903 the specified @var{type} arguments.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
904
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
905 The following extra properties are recognized.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
906
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
907 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
908 @vindex entry-format@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
909 @item :entry-format
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
910 This string will be inserted for each entry in the list.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
911 The following @samp{%} escapes are available:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
912 @table @samp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
913 @item %v
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
914 Replace with the buffer representation of the @var{type} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
915 @item %b
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
916 Replace with the radio button.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
917 @item %%
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
918 Insert a literal @samp{%}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
919 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
920
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
921 @vindex button-args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
922 @item :button-args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
923 A list of keywords to pass to the radio buttons. Useful for setting
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
924 e.g.@: the @samp{:help-echo} for each button.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
925
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
926 @vindex buttons@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
927 @item :buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
928 The widgets representing the radio buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
929
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
930 @vindex children@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
931 @item :children
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
932 The widgets representing each type.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
933
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
934 @vindex choice@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
935 @item :choice
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
936 The current chosen type
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
937
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
938 @vindex args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
939 @item :args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
940 The list of types.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
941 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
942
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
943 You can add extra radio button items to a @code{radio-button-choice}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
944 widget after it has been created with the function
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
945 @code{widget-radio-add-item}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
946
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
947 @defun widget-radio-add-item widget type
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
948 Add to @code{radio-button-choice} widget @var{widget} a new radio button
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
949 item of type @var{type}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
950 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
951
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
952 Please note that such items added after the @code{radio-button-choice}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
953 widget has been created will @strong{not} be properly destructed when
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
954 you call @code{widget-delete}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
955
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
956 @node item, choice-item, radio-button-choice, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
957 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
958 @subsection The @code{item} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
959 @findex item@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
960
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
961 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
962
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
963 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
964 @var{item} ::= (item [@var{keyword} @var{argument}]... @var{value})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
965 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
966
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
967 The @var{value}, if present, is used to initialize the @code{:value}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
968 property. The value should be a string, which will be inserted in the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
969 buffer. This widget will only match the specified value.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
970
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
971 @node choice-item, toggle, item, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
972 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
973 @subsection The @code{choice-item} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
974 @findex choice-item@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
975
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
976 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
977
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
978 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
979 @var{item} ::= (choice-item [@var{keyword} @var{argument}]... @var{value})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
980 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
981
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
982 The @var{value}, if present, is used to initialize the @code{:value}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
983 property. The value should be a string, which will be inserted in the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
984 buffer as a button. Activating the button of a @code{choice-item} is
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
985 equivalent to activating the parent widget. This widget will only match
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
986 the specified value.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
987
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
988 @node toggle, checkbox, choice-item, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
989 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
990 @subsection The @code{toggle} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
991 @findex toggle@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
992
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
993 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
994
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
995 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
996 @var{type} ::= (toggle [@var{keyword} @var{argument}]...)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
997 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
998
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
999 The widget has two possible states, @samp{on} and @samp{off}, which
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1000 correspond to a @code{t} or @code{nil} value, respectively.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1001
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1002 The following extra properties are recognized:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1003
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1004 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1005 @item :on
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1006 A string representing the @samp{on} state. By default the string
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1007 @samp{on}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1008 @item :off
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1009 A string representing the @samp{off} state. By default the string
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1010 @samp{off}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1011 @vindex on-glyph@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1012 @item :on-glyph
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1013 Name of a glyph to be used instead of the @samp{:on} text string, on
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1014 emacsen that supports this.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1015 @vindex off-glyph@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1016 @item :off-glyph
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1017 Name of a glyph to be used instead of the @samp{:off} text string, on
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1018 emacsen that supports this.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1019 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1020
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1021 @node checkbox, checklist, toggle, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1022 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1023 @subsection The @code{checkbox} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1024 @findex checkbox@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1025
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1026 This widget has two possible states, @samp{selected} and
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1027 @samp{unselected}, which corresponds to a @code{t} or @code{nil} value.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1028
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1029 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1030
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1031 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1032 @var{type} ::= (checkbox [@var{keyword} @var{argument}]...)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1033 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1034
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1035 @node checklist, editable-list, checkbox, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1036 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1037 @subsection The @code{checklist} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1038 @findex checklist@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1039
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1040 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1041
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1042 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1043 @var{type} ::= (checklist [@var{keyword} @var{argument}]... @var{type} ... )
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1044 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1045
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1046 The @var{type} arguments represent each checklist item. The widget's
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1047 value will be a list containing the values of all checked @var{type}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1048 arguments. The checklist widget will match a list whose elements all
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1049 match at least one of the specified @var{type} arguments.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1050
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1051 The following extra properties are recognized:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1052
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1053 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1054 @vindex entry-format@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1055 @item :entry-format
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1056 This string will be inserted for each entry in the list.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1057 The following @samp{%} escapes are available:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1058 @table @samp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1059 @item %v
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1060 Replaced with the buffer representation of the @var{type} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1061 @item %b
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1062 Replace with the checkbox.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1063 @item %%
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1064 Insert a literal @samp{%}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1065 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1066
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1067 @vindex greedy@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1068 @item :greedy
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1069 Usually a checklist will only match if the items are in the exact
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1070 sequence given in the specification. By setting @code{:greedy} to
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1071 non-@code{nil}, it will allow the items to come in any sequence.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1072 However, if you extract the value they will be in the sequence given
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1073 in the checklist, i.e.@: the original sequence is forgotten.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1074
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1075 @vindex button-args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1076 @item :button-args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1077 A list of keywords to pass to the checkboxes. Useful for setting
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1078 e.g.@: the @samp{:help-echo} for each checkbox.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1079
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1080 @vindex buttons@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1081 @item :buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1082 The widgets representing the checkboxes.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1083
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1084 @vindex children@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1085 @item :children
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1086 The widgets representing each type.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1087
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1088 @vindex args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1089 @item :args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1090 The list of types.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1091 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1092
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1093 @node editable-list, group, checklist, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1094 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1095 @subsection The @code{editable-list} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1096 @findex editable-list@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1097
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1098 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1099
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1100 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1101 @var{type} ::= (editable-list [@var{keyword} @var{argument}]... @var{type})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1102 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1103
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1104 The value is a list, where each member represents one widget of type
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1105 @var{type}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1106
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1107 The following extra properties are recognized:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1108
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1109 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1110 @vindex entry-format@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1111 @item :entry-format
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1112 This string will be inserted for each entry in the list.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1113 The following @samp{%} escapes are available:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1114 @table @samp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1115 @item %v
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1116 This will be replaced with the buffer representation of the @var{type}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1117 widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1118 @item %i
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1119 Insert the @b{[INS]} button.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1120 @item %d
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1121 Insert the @b{[DEL]} button.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1122 @item %%
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1123 Insert a literal @samp{%}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1124 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1125
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1126 @vindex insert-button-args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1127 @item :insert-button-args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1128 A list of keyword arguments to pass to the insert buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1129
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1130 @vindex delete-button-args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1131 @item :delete-button-args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1132 A list of keyword arguments to pass to the delete buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1133
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1134 @vindex append-button-args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1135 @item :append-button-args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1136 A list of keyword arguments to pass to the trailing insert button.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1137
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1138 @vindex buttons@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1139 @item :buttons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1140 The widgets representing the insert and delete buttons.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1141
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1142 @vindex children@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1143 @item :children
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1144 The widgets representing the elements of the list.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1145
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1146 @vindex args@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1147 @item :args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1148 List whose @sc{car} is the type of the list elements.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1149 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1150
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1151 @node group, , editable-list, Basic Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1152 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1153 @subsection The @code{group} Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1154 @findex group@r{ widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1155
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1156 This widget simply group other widgets together.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1157
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1158 Syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1159
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1160 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1161 @var{type} ::= (group [@var{keyword} @var{argument}]... @var{type}...)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1162 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1163
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1164 The value is a list, with one member for each @var{type}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1165
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1166 @node Sexp Types, Widget Properties, Basic Types, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1167 @comment
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1168 @section Sexp Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1169 @cindex sexp types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1170
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1171 A number of widgets for editing @dfn{s-expressions} (Lisp types), sexp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1172 for short, are also available. These basically fall in several
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1173 categories described in this section.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1174
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1175 @menu
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1176 * constants::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1177 * generic::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1178 * atoms::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1179 * composite::
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1180 @end menu
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1181
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1182 @node constants, generic, Sexp Types, Sexp Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1183 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1184 @subsection The Constant Widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1185 @cindex constant widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1186
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1187 The @code{const} widget can contain any Lisp expression, but the user is
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1188 prohibited from editing it, which is mainly useful as a component of one
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1189 of the composite widgets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1190
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1191 The syntax for the @code{const} widget is:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1192
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1193 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1194 @var{type} ::= (const [@var{keyword} @var{argument}]... [ @var{value} ])
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1195 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1196
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1197 The @var{value}, if present, is used to initialize the @code{:value}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1198 property and can be any s-expression.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1199
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1200 @deffn Widget const
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1201 This will display any valid s-expression in an immutable part of the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1202 buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1203 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1204
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1205 There are two variations of the @code{const} widget, namely
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1206 @code{variable-item} and @code{function-item}. These should contain a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1207 symbol with a variable or function binding. The major difference from
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1208 the @code{const} widget is that they will allow the user to see the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1209 variable or function documentation for the symbol.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1210
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1211 @deffn Widget variable-item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1212 An immutable symbol that is bound as a variable.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1213 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1214
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1215 @deffn Widget function-item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1216 An immutable symbol that is bound as a function.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1217 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1218
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1219 @node generic, atoms, constants, Sexp Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1220 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1221 @subsection Generic Sexp Widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1222 @cindex generic sexp widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1223
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1224 The @code{sexp} widget can contain any Lisp expression, and allows the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1225 user to edit it inline in the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1226
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1227 The syntax for the @code{sexp} widget is:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1228
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1229 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1230 @var{type} ::= (sexp [@var{keyword} @var{argument}]... [ @var{value} ])
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1231 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1232
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1233 @deffn Widget sexp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1234 This will allow you to edit any valid s-expression in an editable buffer
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1235 field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1236
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1237 The @code{sexp} widget takes the same keyword arguments as the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1238 @code{editable-field} widget. @xref{editable-field}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1239 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1240
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1241 @node atoms, composite, generic, Sexp Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1242 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1243 @subsection Atomic Sexp Widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1244 @cindex atomic sexp widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1245
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1246 The atoms are s-expressions that do not consist of other s-expressions.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1247 For example, a string, a file name, or a symbol are atoms, while a list
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1248 is a composite type. You can edit the value of an atom with the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1249 following widgets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1250
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1251 The syntax for all the atoms are:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1252
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1253 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1254 @var{type} ::= (@var{construct} [@var{keyword} @var{argument}]... [ @var{value} ])
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1255 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1256
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1257 The @var{value}, if present, is used to initialize the @code{:value}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1258 property and must be an expression of the same type as the widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1259 That is, the string widget can only be initialized with a string.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1260
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1261 All the atom widgets take the same keyword arguments as the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1262 @code{editable-field} widget. @xref{editable-field}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1263
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1264 @deffn Widget string
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1265 Allows you to edit a string in an editable field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1266 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1267
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1268 @deffn Widget regexp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1269 Allows you to edit a regular expression in an editable field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1270 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1271
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1272 @deffn Widget character
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1273 Allows you to enter a character in an editable field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1274 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1275
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1276 @deffn Widget file
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1277 Allows you to edit a file name in an editable field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1278
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1279 Keywords:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1280 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1281 @vindex must-match@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1282 @item :must-match
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1283 If this is set to non-@code{nil}, only existing file names will be
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1284 allowed in the minibuffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1285 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1286 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1287
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1288 @deffn Widget directory
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1289 Allows you to edit a directory name in an editable field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1290 Similar to the @code{file} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1291 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1292
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1293 @deffn Widget symbol
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1294 Allows you to edit a Lisp symbol in an editable field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1295 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1296
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1297 @deffn Widget function
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1298 Allows you to edit a lambda expression, or a function name with completion.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1299 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1300
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1301 @deffn Widget variable
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1302 Allows you to edit a variable name, with completion.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1303 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1304
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1305 @deffn Widget integer
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1306 Allows you to edit an integer in an editable field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1307 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1308
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1309 @deffn Widget number
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1310 Allows you to edit a number in an editable field.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1311 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1312
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1313 @deffn Widget boolean
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1314 Allows you to edit a boolean. In Lisp this means a variable which is
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1315 either @code{nil} meaning false, or non-@code{nil} meaning true.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1316 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1317
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1318
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1319 @node composite, , atoms, Sexp Types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1320 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1321 @subsection Composite Sexp Widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1322 @cindex composite sexp widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1323
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1324 The syntax for the composite widget construct is:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1325
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1326 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1327 @var{type} ::= (@var{construct} [@var{keyword} @var{argument}]... @var{component}...)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1328 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1329
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1330 @noindent
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1331 where each @var{component} must be a widget type. Each component widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1332 will be displayed in the buffer, and will be editable by the user.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1333
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1334 @deffn Widget cons
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1335 The value of a @code{cons} widget must be a cons-cell whose @sc{car}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1336 and @sc{cdr} have two specified types. It uses this syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1337
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1338 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1339 @var{type} ::= (cons [@var{keyword} @var{argument}]... @var{car-type} @var{cdr-type})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1340 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1341 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1342
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1343 @deffn Widget choice
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1344 The value matched by a @code{choice} widget must have one of a fixed
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1345 set of types. The widget's syntax is as follows:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1346
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1347 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1348 @var{type} ::= (choice [@var{keyword} @var{argument}]... @var{type} ... )
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1349 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1350
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1351 The value of a @code{choice} widget can be anything that matches any of the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1352 @var{types}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1353 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1354
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1355 @deffn Widget list
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1356 The value of a @code{list} widget must be a list whose element types
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1357 match the specified component types:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1358
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1359 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1360 @var{type} ::= (list [@var{keyword} @var{argument}]... @var{component-type}...)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1361 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1362
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1363 Thus, @code{(list string number)} matches lists of two elements,
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1364 the first being a string and the second being a number.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1365 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1366
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1367 @deffn Widget vector
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1368 The @code{vector} widget is like the @code{list} widget but matches
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1369 vectors instead of lists. Thus, @code{(vector string number)} matches
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1370 vectors of two elements, the first being a string and the second being
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1371 a number.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1372 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1373
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1374 The above suffice for specifying fixed size lists and vectors. To get
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1375 variable length lists and vectors, you can use a @code{choice},
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1376 @code{set}, or @code{repeat} widget together with the @code{:inline}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1377 keyword. If any component of a composite widget has the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1378 @code{:inline} keyword set, its value must be a list which will then
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1379 be spliced into the composite. For example, to specify a list whose
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1380 first element must be a file name, and whose remaining elements should
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1381 either be the symbol @code{t} or two strings (file names), you can use
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1382 the following widget specification:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1383
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1384 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1385 (list file
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1386 (choice (const t)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1387 (list :inline t
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1388 :value ("foo" "bar")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1389 string string)))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1390 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1391
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1392 The value of a widget of this type will either have the form
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1393 @code{(file t)} or @code{(file @var{string} @var{string})}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1394
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1395 This concept of @code{:inline} may be hard to understand. It was
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1396 certainly hard to implement, so instead of confusing you more by
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1397 trying to explain it here, I'll just suggest you meditate over it for
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1398 a while.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1399
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1400 @deffn Widget set
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1401 Specifies a type whose values are the lists whose elements all belong
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1402 to a given set. The order of elements of the list is not significant.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1403 Here's the syntax:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1404
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1405 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1406 @var{type} ::= (set [@var{keyword} @var{argument}]... @var{permitted-element} ... )
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1407 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1408
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1409 Use @code{const} to specify each permitted element, like this:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1410 @code{(set (const a) (const b))}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1411 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1412
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1413 @deffn Widget repeat
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1414 Specifies a list of any number of elements that fit a certain type.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1415
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1416 @example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1417 @var{type} ::= (repeat [@var{keyword} @var{argument}]... @var{type})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1418 @end example
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1419 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1420
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1421 @node Widget Properties, Defining New Widgets, Sexp Types, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1422 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1423 @section Properties
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1424 @cindex properties of widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1425 @cindex widget properties
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1426
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1427 You can examine or set the value of a widget by using the widget object
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1428 that was returned by @code{widget-create}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1429
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1430 @defun widget-value widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1431 Return the current value contained in @var{widget}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1432 It is an error to call this function on an uninitialized widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1433 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1434
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1435 @defun widget-value-set widget value
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1436 Set the value contained in @var{widget} to @var{value}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1437 It is an error to call this function with an invalid @var{value}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1438 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1439
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1440 @strong{Important:} You @emph{must} call @code{widget-setup} after
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1441 modifying the value of a widget before the user is allowed to edit the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1442 widget again. It is enough to call @code{widget-setup} once if you
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1443 modify multiple widgets. This is currently only necessary if the widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1444 contains an editing field, but may be necessary for other widgets in the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1445 future.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1446
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1447 If your application needs to associate some information with the widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1448 objects, for example a reference to the item being edited, it can be
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1449 done with @code{widget-put} and @code{widget-get}. The property names
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1450 must begin with a @samp{:}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1451
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1452 @defun widget-put widget property value
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1453 In @var{widget} set @var{property} to @var{value}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1454 @var{property} should be a symbol, while @var{value} can be anything.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1455 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1456
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1457 @defun widget-get widget property
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1458 In @var{widget} return the value for @var{property}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1459 @var{property} should be a symbol, the value is what was last set by
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1460 @code{widget-put} for @var{property}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1461 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1462
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1463 @defun widget-member widget property
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1464 Non-@code{nil} if @var{widget} has a value (even @code{nil}) for
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1465 property @var{property}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1466 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1467
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1468 Occasionally it can be useful to know which kind of widget you have,
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1469 i.e.@: the name of the widget type you gave when the widget was created.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1470
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1471 @defun widget-type widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1472 Return the name of @var{widget}, a symbol.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1473 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1474
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1475 @cindex active widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1476 @cindex inactive widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1477 @cindex activate a widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1478 @cindex deactivate a widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1479 Widgets can be in two states: active, which means they are modifiable by
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1480 the user, or inactive, which means they cannot be modified by the user.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1481 You can query or set the state with the following code:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1482
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1483 @lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1484 ;; Examine if @var{widget} is active or not.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1485 (if (widget-apply @var{widget} :active)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1486 (message "Widget is active.")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1487 (message "Widget is inactive.")
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1488
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1489 ;; Make @var{widget} inactive.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1490 (widget-apply @var{widget} :deactivate)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1491
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1492 ;; Make @var{widget} active.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1493 (widget-apply @var{widget} :activate)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1494 @end lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1495
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1496 A widget is inactive if it, or any of its ancestors (found by
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1497 following the @code{:parent} link), have been deactivated. To make sure
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1498 a widget is really active, you must therefore activate both it and
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1499 all its ancestors.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1500
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1501 @lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1502 (while widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1503 (widget-apply widget :activate)
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1504 (setq widget (widget-get widget :parent)))
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1505 @end lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1506
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1507 You can check if a widget has been made inactive by examining the value
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1508 of the @code{:inactive} keyword. If this is non-@code{nil}, the widget itself
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1509 has been deactivated. This is different from using the @code{:active}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1510 keyword, in that the latter tells you if the widget @strong{or} any of
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1511 its ancestors have been deactivated. Do not attempt to set the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1512 @code{:inactive} keyword directly. Use the @code{:activate}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1513 @code{:deactivate} keywords instead.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1514
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1515
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1516 @node Defining New Widgets, Widget Browser, Widget Properties, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1517 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1518 @section Defining New Widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1519 @cindex new widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1520 @cindex defining new widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1521
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1522 You can define specialized widgets with @code{define-widget}. It allows
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1523 you to create a shorthand for more complex widgets, including specifying
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1524 component widgets and new default values for the keyword
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1525 arguments.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1526
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1527 @defun define-widget name class doc &rest args
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1528 Define a new widget type named @var{name} from @code{class}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1529
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1530 @var{name} and class should both be symbols, @code{class} should be one
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1531 of the existing widget types.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1532
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1533 The third argument @var{doc} is a documentation string for the widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1534
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1535 After the new widget has been defined, the following two calls will
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1536 create identical widgets:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1537
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1538 @itemize @bullet
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1539 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1540 @lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1541 (widget-create @var{name})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1542 @end lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1543
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1544 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1545 @lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1546 (apply widget-create @var{class} @var{args})
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1547 @end lisp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1548 @end itemize
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1549
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1550 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1551
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1552 Using @code{define-widget} just stores the definition of the widget type
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1553 in the @code{widget-type} property of @var{name}, which is what
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1554 @code{widget-create} uses.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1555
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1556 If you only want to specify defaults for keywords with no complex
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1557 conversions, you can use @code{identity} as your conversion function.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1558
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1559 The following additional keyword arguments are useful when defining new
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1560 widgets:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1561 @table @code
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1562 @vindex convert-widget@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1563 @item :convert-widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1564 Function to convert a widget type before creating a widget of that
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1565 type. It takes a widget type as an argument, and returns the converted
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1566 widget type. When a widget is created, this function is called for the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1567 widget type and all the widget's parent types, most derived first.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1568
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1569 The following predefined functions can be used here:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1570
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1571 @defun widget-types-convert-widget widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1572 Convert @code{:args} as widget types in @var{widget}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1573 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1574
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1575 @defun widget-value-convert-widget widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1576 Initialize @code{:value} from @code{:args} in @var{widget}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1577 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1578
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1579 @vindex copy@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1580 @item :copy
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1581 Function to deep copy a widget type. It takes a shallow copy of the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1582 widget type as an argument (made by @code{copy-sequence}), and returns a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1583 deep copy. The purpose of this is to avoid having different instances
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1584 of combined widgets share nested attributes.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1585
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1586 The following predefined functions can be used here:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1587
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1588 @defun widget-types-copy widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1589 Copy @code{:args} as widget types in @var{widget}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1590 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1591
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1592 @vindex value-to-internal@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1593 @item :value-to-internal
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1594 Function to convert the value to the internal format. The function
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1595 takes two arguments, a widget and an external value, and returns the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1596 internal value. The function is called on the present @code{:value}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1597 when the widget is created, and on any value set later with
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1598 @code{widget-value-set}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1599
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1600 @vindex value-to-external@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1601 @item :value-to-external
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1602 Function to convert the value to the external format. The function
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1603 takes two arguments, a widget and an internal value, and returns the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1604 external value. The function is called on the present @code{:value}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1605 when the widget is created, and on any value set later with
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1606 @code{widget-value-set}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1607
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1608 @vindex create@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1609 @item :create
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1610 Function to create a widget from scratch. The function takes one
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1611 argument, a widget type, and creates a widget of that type, inserts it
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1612 in the buffer, and returns a widget object.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1613
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1614 @vindex delete@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1615 @item :delete
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1616 Function to delete a widget. The function takes one argument, a widget,
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1617 and should remove all traces of the widget from the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1618
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1619 The default value is:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1620
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1621 @defun widget-default-delete widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1622 Remove @var{widget} from the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1623 Delete all @code{:children} and @code{:buttons} in @var{widget}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1624 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1625
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1626 In most cases you should not change this value, but instead use
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1627 @code{:value-delete} to make any additional cleanup.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1628
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1629 @vindex value-create@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1630 @item :value-create
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1631 Function to expand the @samp{%v} escape in the format string. It will
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1632 be called with the widget as its argument and should insert a
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1633 representation of the widget's value in the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1634
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1635 Nested widgets should be listed in @code{:children} or @code{:buttons}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1636 to make sure they are automatically deleted.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1637
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1638 @vindex value-delete@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1639 @item :value-delete
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1640 Should remove the representation of the widget's value from the buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1641 It will be called with the widget as its argument. It doesn't have to
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1642 remove the text, but it should release markers and delete nested widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1643 if these are not listed in @code{:children} or @code{:buttons}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1644
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1645 @vindex value-get@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1646 @item :value-get
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1647 Function to extract the value of a widget, as it is displayed in the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1648 buffer.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1649
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1650 The following predefined function can be used here:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1651
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1652 @defun widget-value-value-get widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1653 Return the @code{:value} property of @var{widget}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1654 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1655
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1656 @vindex format-handler@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1657 @item :format-handler
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1658 Function to handle unknown @samp{%} escapes in the format string. It
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1659 will be called with the widget and the character that follows the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1660 @samp{%} as arguments. You can set this to allow your widget to handle
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1661 non-standard escapes.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1662
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1663 @findex widget-default-format-handler
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1664 You should end up calling @code{widget-default-format-handler} to handle
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1665 unknown escape sequences, which will handle the @samp{%h} and any future
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1666 escape sequences, as well as give an error for unknown escapes.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1667
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1668 @vindex action@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1669 @item :action
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1670 Function to handle user initiated events. By default, @code{:notify}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1671 the parent.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1672
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1673 The following predefined function can be used here:
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1674
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1675 @defun widget-parent-action widget &optional event
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1676 Tell @code{:parent} of @var{widget} to handle the @code{:action}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1677 Optional @var{event} is the event that triggered the action.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1678 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1679
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1680 @vindex prompt-value@r{ keyword}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1681 @item :prompt-value
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1682 Function to prompt for a value in the minibuffer. The function should
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1683 take four arguments, @var{widget}, @var{prompt}, @var{value}, and
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1684 @var{unbound} and should return a value for widget entered by the user.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1685 @var{prompt} is the prompt to use. @var{value} is the default value to
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1686 use, unless @var{unbound} is non-@code{nil}, in which case there is no default
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1687 value. The function should read the value using the method most natural
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1688 for this widget, and does not have to check that it matches.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1689 @end table
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1690
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1691 If you want to define a new widget from scratch, use the @code{default}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1692 widget as its base.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1693
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1694 @deffn Widget default
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1695 Widget used as a base for other widgets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1696
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1697 It provides most of the functionality that is referred to as ``by
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1698 default'' in this text.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1699 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1700
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1701 @node Widget Browser, Widget Minor Mode, Defining New Widgets, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1702 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1703 @section Widget Browser
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1704 @cindex widget browser
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1705
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1706 There is a separate package to browse widgets. This is intended to help
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1707 programmers who want to examine the content of a widget. The browser
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1708 shows the value of each keyword, but uses links for certain keywords
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1709 such as @samp{:parent}, which avoids printing cyclic structures.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1710
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1711 @deffn Command widget-browse @var{widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1712 Create a widget browser for @var{widget}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1713 When called interactively, prompt for @var{widget}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1714 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1715
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1716 @deffn Command widget-browse-other-window @var{widget}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1717 Create a widget browser for @var{widget} and show it in another window.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1718 When called interactively, prompt for @var{widget}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1719 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1720
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1721 @deffn Command widget-browse-at @var{pos}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1722 Create a widget browser for the widget at @var{pos}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1723 When called interactively, use the position of point.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1724 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1725
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1726 @node Widget Minor Mode, Utilities, Widget Browser, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1727 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1728 @section Widget Minor Mode
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1729 @cindex widget minor mode
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1730
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1731 There is a minor mode for manipulating widgets in major modes that
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1732 don't provide any support for widgets themselves. This is mostly
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1733 intended to be useful for programmers doing experiments.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1734
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1735 @deffn Command widget-minor-mode
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1736 Toggle minor mode for traversing widgets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1737 With arg, turn widget mode on if and only if arg is positive.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1738 @end deffn
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1739
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1740 @defvar widget-minor-mode-keymap
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1741 Keymap used in @code{widget-minor-mode}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1742 @end defvar
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1743
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1744 @node Utilities, Widget Wishlist, Widget Minor Mode, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1745 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1746 @section Utilities.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1747 @cindex utility functions for widgets
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1748
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1749 @defun widget-prompt-value widget prompt [ value unbound ]
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1750 Prompt for a value matching @var{widget}, using @var{prompt}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1751 The current value is assumed to be @var{value}, unless @var{unbound} is
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1752 non-@code{nil}.@refill
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1753 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1754
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1755 @defun widget-get-sibling widget
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1756 Get the item which @var{widget} is assumed to toggle.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1757 This is only meaningful for radio buttons or checkboxes in a list.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1758 @end defun
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1759
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1760 @node Widget Wishlist, GNU Free Documentation License, Utilities, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1761 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1762 @section Wishlist
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1763 @cindex todo
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1764
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1765 @itemize @bullet
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1766 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1767 It should be possible to add or remove items from a list with @kbd{C-k}
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1768 and @kbd{C-o} (suggested by @sc{rms}).
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1769
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1770 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1771 The @samp{[INS]} and @samp{[DEL]} buttons should be replaced by a single
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1772 dash (@samp{-}). The dash should be a button that, when invoked, asks
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1773 whether you want to add or delete an item (@sc{rms} wanted to git rid of
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1774 the ugly buttons, the dash is my idea).
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1775
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1776 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1777 The @code{menu-choice} tag should be prettier, something like the abbreviated
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1778 menus in Open Look.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1779
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1780 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1781 Finish @code{:tab-order}.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1782
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1783 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1784 Make indentation work with glyphs and proportional fonts.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1785
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1786 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1787 Add commands to show overview of object and class hierarchies to the
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1788 browser.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1789
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1790 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1791 Find a way to disable mouse highlight for inactive widgets.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1792
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1793 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1794 Find a way to make glyphs look inactive.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1795
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1796 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1797 Add @code{property-list} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1798
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1799 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1800 Add @code{association-list} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1801
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1802 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1803 Add @code{key-binding} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1804
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1805 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1806 Add @code{widget} widget for editing widget specifications.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1807
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1808 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1809 Find clean way to implement variable length list.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1810 See @code{TeX-printer-list} for an explanation.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1811
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1812 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1813 @kbd{C-h} in @code{widget-prompt-value} should give type specific help.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1814
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1815 @item
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1816 Add a @code{mailto} widget.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1817 @end itemize
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1818
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1819 @node GNU Free Documentation License, Index, Widget Wishlist, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1820 @appendix GNU Free Documentation License
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1821 @include doclicense.texi
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1822
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1823 @node Index, , GNU Free Documentation License, Top
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1824 @comment node-name, next, previous, up
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1825 @unnumbered Index
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1826
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1827 This is an alphabetical listing of all concepts, functions, commands,
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1828 variables, and widgets described in this manual.
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1829 @printindex cp
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1830
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1831 @bye
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1832
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1833 @ignore
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1834 arch-tag: 2b427731-4c61-4e72-85de-5ccec9c623f0
3ac2badc0d6b Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1835 @end ignore