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