(POLLING_PROBLEM_IN_SELECT): Defined.
[emacs.git] / lispref / customize.texi
blob4997fc4479a23a677a29b9100c5efe70f86e818e
1 @c -*-texinfo-*-
2 @c This is part of the GNU Emacs Lisp Reference Manual.
3 @c Copyright (C) 1997, 1998, 1999, 2000, 2002 Free Software Foundation, Inc. 
4 @c See the file elisp.texi for copying conditions.
5 @setfilename ../info/customize
6 @node Customization, Loading, Macros, Top
7 @chapter Writing Customization Definitions
9   This chapter describes how to declare user options for customization,
10 and also customization groups for classifying them.  We use the term
11 @dfn{customization item} to include both kinds of customization
12 definitions---as well as face definitions (@pxref{Defining Faces}).
14 @menu
15 * Common Keywords::
16 * Group Definitions::            
17 * Variable Definitions::         
18 * Customization Types::
19 @end menu
21 @node Common Keywords
22 @section Common Item Keywords
24   All kinds of customization declarations (for variables and groups, and
25 for faces) accept keyword arguments for specifying various information.
26 This section describes some keywords that apply to all kinds.
28   All of these keywords, except @code{:tag}, can be used more than once
29 in a given item.  Each use of the keyword has an independent effect.
30 The keyword @code{:tag} is an exception because any given item can only
31 display one name.
33 @table @code
34 @item :tag @var{label}
35 Use @var{label}, a string, instead of the item's name, to label the item
36 in customization menus and buffers.
38 @item :group @var{group}
39 Put this customization item in group @var{group}.  When you use
40 @code{:group} in a @code{defgroup}, it makes the new group a subgroup of
41 @var{group}.
43 If you use this keyword more than once, you can put a single item into
44 more than one group.  Displaying any of those groups will show this
45 item.  Please don't overdo this, since the result would be annoying.
47 @item :link @var{link-data}
48 Include an external link after the documentation string for this item.
49 This is a sentence containing an active field which references some
50 other documentation.
52 There are four alternatives you can use for @var{link-data}:
54 @table @code
55 @item (custom-manual @var{info-node})
56 Link to an Info node; @var{info-node} is a string which specifies the
57 node name, as in @code{"(emacs)Top"}.  The link appears as
58 @samp{[manual]} in the customization buffer.
60 @item (info-link @var{info-node})
61 Like @code{custom-manual} except that the link appears
62 in the customization buffer with the Info node name.
64 @item (url-link @var{url})
65 Link to a web page; @var{url} is a string which specifies the @sc{url}.
66 The link appears in the customization buffer as @var{url}.
68 @item (emacs-commentary-link @var{library})
69 Link to the commentary section of a library; @var{library} is a string
70 which specifies the library name.
71 @end table
73 You can specify the text to use in the customization buffer by adding
74 @code{:tag @var{name}} after the first element of the @var{link-data};
75 for example, @code{(info-link :tag "foo" "(emacs)Top")} makes a link to
76 the Emacs manual which appears in the buffer as @samp{foo}.
78 An item can have more than one external link; however, most items have
79 none at all.
81 @item :load @var{file}
82 Load file @var{file} (a string) before displaying this customization
83 item.  Loading is done with @code{load-library}, and only if the file is
84 not already loaded.
86 @item :require @var{feature}
87 Require feature @var{feature} (a symbol) when installing a value for
88 this item (an option or a face) that was saved using the customization
89 feature.  This is done by calling @code{require}.
91 The most common reason to use @code{:require} is when a variable enables
92 a feature such as a minor mode, and just setting the variable won't have
93 any effect unless the code which implements the mode is loaded.
94 @end table
96 @node Group Definitions
97 @section Defining Custom Groups
99   Each Emacs Lisp package should have one main customization group which
100 contains all the options, faces and other groups in the package.  If the
101 package has a small number of options and faces, use just one group and
102 put everything in it.  When there are more than twelve or so options and
103 faces, then you should structure them into subgroups, and put the
104 subgroups under the package's main customization group.  It is OK to
105 put some of the options and faces in the package's main group alongside
106 the subgroups.
108   The package's main or only group should be a member of one or more of
109 the standard customization groups.  (To display the full list of them,
110 use @kbd{M-x customize}.)  Choose one or more of them (but not too
111 many), and add your group to each of them using the @code{:group}
112 keyword.
114   The way to declare new customization groups is with @code{defgroup}.
116 @defmac defgroup group members doc [keyword value]...
117 Declare @var{group} as a customization group containing @var{members}.
118 Do not quote the symbol @var{group}.  The argument @var{doc} specifies
119 the documentation string for the group.  It should not start with a
120 @samp{*} as in @code{defcustom}; that convention is for variables only.
122 The argument @var{members} is a list specifying an initial set of
123 customization items to be members of the group.  However, most often
124 @var{members} is @code{nil}, and you specify the group's members by
125 using the @code{:group} keyword when defining those members.
127 If you want to specify group members through @var{members}, each element
128 should have the form @code{(@var{name} @var{widget})}.  Here @var{name}
129 is a symbol, and @var{widget} is a widget type for editing that symbol.
130 Useful widgets are @code{custom-variable} for a variable,
131 @code{custom-face} for a face, and @code{custom-group} for a group.
133 When a new group is introduced into Emacs, use this keyword in
134 @code{defgroup}:
136 @table @code
137 @item :version @var{version}
138 This option specifies that the group was first introduced in Emacs
139 version @var{version}.  The value @var{version} must be a string.
140 @end table
142 Tag the group with a version like this when it is introduced, rather
143 than the individual members (@pxref{Variable Definitions}).
145 In addition to the common keywords (@pxref{Common Keywords}), you can
146 also use this keyword in @code{defgroup}:
148 @table @code
149 @item :prefix @var{prefix}
150 If the name of an item in the group starts with @var{prefix}, then the
151 tag for that item is constructed (by default) by omitting @var{prefix}.
153 One group can have any number of prefixes.
154 @end table
155 @end defmac
157   The prefix-discarding feature is currently turned off, which means
158 that @code{:prefix} currently has no effect.  We did this because we
159 found that discarding the specified prefixes often led to confusing
160 names for options.  This happened because the people who wrote the
161 @code{defgroup} definitions for various groups added @code{:prefix}
162 keywords whenever they make logical sense---that is, whenever the
163 variables in the library have a common prefix.
165   In order to obtain good results with @code{:prefix}, it would be
166 necessary to check the specific effects of discarding a particular
167 prefix, given the specific items in a group and their names and
168 documentation.  If the resulting text is not clear, then @code{:prefix}
169 should not be used in that case.
171   It should be possible to recheck all the customization groups, delete
172 the @code{:prefix} specifications which give unclear results, and then
173 turn this feature back on, if someone would like to do the work.
175 @node Variable Definitions
176 @section Defining Customization Variables
178   Use @code{defcustom} to declare user-editable variables.
180 @defmac defcustom option default doc [keyword value]@dots{}
181 Declare @var{option} as a customizable user option variable.  Do not
182 quote @var{option}.  The argument @var{doc} specifies the documentation
183 string for the variable.  It should often start with a @samp{*} to mark
184 it as a @dfn{user option} (@pxref{Defining Variables}).  Do not start
185 the documentation string with @samp{*} for options which cannot or
186 normally should not be set with @code{set-variable}; examples of the
187 former are global minor mode options such as
188 @code{global-font-lock-mode} and examples of the latter are hooks.
190 If @var{option} is void, @code{defcustom} initializes it to
191 @var{default}.  @var{default} should be an expression to compute the
192 value; be careful in writing it, because it can be evaluated on more
193 than one occasion.  You should normally avoid using backquotes in
194 @var{default} because they are not expanded when editing the value,
195 causing list values to appear to have the wrong structure.
197 When you evaluate a @code{defcustom} form with @kbd{C-M-x} in Emacs Lisp
198 mode (@code{eval-defun}), a special feature of @code{eval-defun}
199 arranges to set the variable unconditionally, without testing whether
200 its value is void.  (The same feature applies to @code{defvar}.)
201 @xref{Defining Variables}.
202 @end defmac
204   @code{defcustom} accepts the following additional keywords:
206 @table @code
207 @item :type @var{type}
208 Use @var{type} as the data type for this option.  It specifies which
209 values are legitimate, and how to display the value.
210 @xref{Customization Types}, for more information.
212 @item :options @var{list}
213 Specify @var{list} as the list of reasonable values for use in this
214 option.  The user is not restricted to using only these values, but they
215 are offered as convenient alternatives.
217 This is meaningful only for certain types, currently including
218 @code{hook}, @code{plist} and @code{alist}.  See the definition of the
219 individual types for a description of how to use @code{:options}.
221 @item :version @var{version}
222 This option specifies that the variable was first introduced, or its
223 default value was changed, in Emacs version @var{version}.  The value
224 @var{version} must be a string.  For example,
226 @example
227 (defcustom foo-max 34
228   "*Maximum number of foo's allowed."
229   :type 'integer
230   :group 'foo
231   :version "20.3")
232 @end example
234 @item :set @var{setfunction}
235 Specify @var{setfunction} as the way to change the value of this option.
236 The function @var{setfunction} should take two arguments, a symbol and
237 the new value, and should do whatever is necessary to update the value
238 properly for this option (which may not mean simply setting the option
239 as a Lisp variable).  The default for @var{setfunction} is
240 @code{set-default}.
242 @item :get @var{getfunction}
243 Specify @var{getfunction} as the way to extract the value of this
244 option.  The function @var{getfunction} should take one argument, a
245 symbol, and should return whatever customize should use as the
246 ``current value'' for that symbol (which need not be the symbol's Lisp
247 value).  The default is @code{default-value}.
249 You have to really understand the workings of Custom to use
250 @code{:get} correctly.  It is meant for values that are treated in
251 Custom as variables but are not actually stored in Lisp variables.  It
252 is almost surely a mistake to specify @code{getfunction} for a value
253 that really is stored in a Lisp variable.
255 @item :initialize @var{function}
256 @var{function} should be a function used to initialize the variable when
257 the @code{defcustom} is evaluated.  It should take two arguments, the
258 symbol and value.  Here are some predefined functions meant for use in
259 this way:
261 @table @code
262 @item custom-initialize-set
263 Use the variable's @code{:set} function to initialize the variable, but
264 do not reinitialize it if it is already non-void.
266 @item custom-initialize-default
267 Like @code{custom-initialize-set}, but use the function
268 @code{set-default} to set the variable, instead of the variable's
269 @code{:set} function.  This is the usual choice for a variable whose
270 @code{:set} function enables or disables a minor mode; with this choice,
271 defining the variable will not call the minor mode function, but
272 customizing the variable will do so.
274 @item custom-initialize-reset
275 Always use the @code{:set} function to initialize the variable.  If
276 the variable is already non-void, reset it by calling the @code{:set}
277 function using the current value (returned by the @code{:get} method).
278 This is the default @code{:initialize} function.
280 @item custom-initialize-changed
281 Use the @code{:set} function to initialize the variable, if it is
282 already set or has been customized; otherwise, just use
283 @code{set-default}.
284 @end table
286 @item :set-after @var{variables}
287 When setting variables according to saved customizations, make sure to
288 set the variables @var{variables} before this one; in other words, delay
289 setting this variable until after those others have been handled.  Use
290 @code{:set-after} if setting this variable won't work properly unless
291 those other variables already have their intended values.
292 @end table
294   The @code{:require} option is useful for an option that turns on the
295 operation of a certain feature.  Assuming that the package is coded to
296 check the value of the option, you still need to arrange for the package
297 to be loaded.  You can do that with @code{:require}.  @xref{Common
298 Keywords}.  Here is an example, from the library @file{paren.el}:
300 @example
301 (defcustom show-paren-mode nil
302   "Toggle Show Paren mode..."
303   :set (lambda (symbol value)
304          (show-paren-mode (or value 0)))
305   :initialize 'custom-initialize-default
306   :type 'boolean
307   :group 'paren-showing
308   :require 'paren)
309 @end example
311 If a customization item has a type such as @code{hook} or @code{alist},
312 which supports @code{:options}, you can add additional options to the
313 item, outside the @code{defcustom} declaration, by calling
314 @code{custom-add-option}.  For example, if you define a function
315 @code{my-lisp-mode-initialization} intended to be called from
316 @code{emacs-lisp-mode-hook}, you might want to add that to the list of
317 options for @code{emacs-lisp-mode-hook}, but not by editing its
318 definition.   You can do it thus:
320 @example
321 (custom-add-option 'emacs-lisp-mode-hook
322                    'my-lisp-mode-initialization)
323 @end example
325 @defun custom-add-option symbol option
326 To the customization @var{symbol}, add @var{option}.
328 The precise effect of adding @var{option} depends on the customization
329 type of @var{symbol}.
330 @end defun
332 Internally, @code{defcustom} uses the symbol property
333 @code{standard-value} to record the expression for the default value,
334 and @code{saved-value} to record the value saved by the user with the
335 customization buffer.  The @code{saved-value} property is actually a
336 list whose car is an expression which evaluates to the value.
338 @node Customization Types
339 @section Customization Types
341   When you define a user option with @code{defcustom}, you must specify
342 its @dfn{customization type}.  That is a Lisp object which describes (1)
343 which values are legitimate and (2) how to display the value in the
344 customization buffer for editing.
346   You specify the customization type in @code{defcustom} with the
347 @code{:type} keyword.  The argument of @code{:type} is evaluated; since
348 types that vary at run time are rarely useful, normally you use a quoted
349 constant.  For example:
351 @example
352 (defcustom diff-command "diff"
353   "*The command to use to run diff."
354   :type '(string)
355   :group 'diff)
356 @end example
358   In general, a customization type is a list whose first element is a
359 symbol, one of the customization type names defined in the following
360 sections.  After this symbol come a number of arguments, depending on
361 the symbol.  Between the type symbol and its arguments, you can
362 optionally write keyword-value pairs (@pxref{Type Keywords}).
364   Some of the type symbols do not use any arguments; those are called
365 @dfn{simple types}.  For a simple type, if you do not use any
366 keyword-value pairs, you can omit the parentheses around the type
367 symbol.  For example just @code{string} as a customization type is
368 equivalent to @code{(string)}.
370 @menu
371 * Simple Types::
372 * Composite Types::
373 * Splicing into Lists::
374 * Type Keywords::
375 @end menu
377 All customization types are implemented as widgets; see @ref{Top, ,
378 Introduction, widget, The Emacs Widget Library} for details.
380 @node Simple Types
381 @subsection Simple Types
383   This section describes all the simple customization types.
385 @table @code
386 @item sexp
387 The value may be any Lisp object that can be printed and read back.  You
388 can use @code{sexp} as a fall-back for any option, if you don't want to
389 take the time to work out a more specific type to use.
391 @item integer
392 The value must be an integer, and is represented textually
393 in the customization buffer.
395 @item number
396 The value must be a number, and is represented textually in the
397 customization buffer.
399 @item string
400 The value must be a string, and the customization buffer shows just the
401 contents, with no delimiting @samp{"} characters and no quoting with
402 @samp{\}.
404 @item regexp
405 Like @code{string} except that the string must be a valid regular
406 expression.
408 @item character
409 The value must be a character code.  A character code is actually an
410 integer, but this type shows the value by inserting the character in the
411 buffer, rather than by showing the number.
413 @item file
414 The value must be a file name, and you can do completion with
415 @kbd{M-@key{TAB}}.
417 @item (file :must-match t)
418 The value must be a file name for an existing file, and you can do
419 completion with @kbd{M-@key{TAB}}.
421 @item directory
422 The value must be a directory name, and you can do completion with
423 @kbd{M-@key{TAB}}.
425 @item hook
426 The value must be a list of functions (or a single function, but that is
427 obsolete usage).  This customization type is used for hook variables.
428 You can use the @code{:options} keyword in a hook variable's
429 @code{defcustom} to specify a list of functions recommended for use in
430 the hook; see @ref{Variable Definitions}.
432 @item alist
433 The value must be a list of cons-cells, the @sc{car} of each cell
434 representing a key, and the @sc{cdr} of the same cell representing an
435 associated value.  The user can add and delete key/value pairs, and
436 edit both the key and the value of each pair.
438 You can specify the key and value types like this:
440 @smallexample
441 (alist :key-type @var{key-type} :value-type @var{value-type})
442 @end smallexample
444 @noindent
445 where @var{key-type} and @var{value-type} are customization type
446 specifications.  The default key type is @code{sexp}, and the default
447 value type is @code{sexp}.
449 The user can add any key matching the specified key type, but you can
450 give some keys a preferential treatment by specifying them with the
451 @code{:options} (see @ref{Variable Definitions}).  The specified keys
452 will always be shown in the customize buffer (together with a suitable
453 value), with a checkbox to include or exclude or disable the key/value
454 pair from the alist.  The user will not be able to edit the keys
455 specified by the @code{:options} keyword argument.
457 The argument to the @code{:options} keywords should be a list of option
458 specifications.  Ordinarily, the options are simply atoms, which are the
459 specified keys.  For example:
461 @smallexample
462 :options '("foo" "bar" "baz")
463 @end smallexample
465 @noindent
466 specifies that there are three ``known'' keys, namely @code{"foo"},
467 @code{"bar"} and @code{"baz"}, which will always be shown first.
469 You may want to restrict the value type for specific keys, for example,
470 the value associated with the @code{"bar"} key can only be an integer.
471 You can specify this by using a list instead of an atom in the option
472 specification.  The first element will specify the key, like before,
473 while the second element will specify the value type.
475 @smallexample
476 :options '("foo" ("bar" integer) "baz")
477 @end smallexample
479 Finally, you may want to change how the key is presented.  By default,
480 the key is simply shown as a @code{const}, since the user cannot change
481 the special keys specified with the @code{:options} keyword.  However,
482 you may want to use a more specialized type for presenting the key, like
483 @code{function-item} if you know it is a symbol with a function binding.
484 This is done by using a customization type specification instead of a
485 symbol for the key.
487 @smallexample
488 :options '("foo" ((function-item some-function) integer) "baz")
489 @end smallexample
491 Many alists use lists with two elements, instead of cons cells.  For
492 example,
494 @smallexample
495 (defcustom list-alist '(("foo" 1) ("bar" 2) ("baz" 3))
496   "Each element is a list of the form (KEY VALUE).")
497 @end smallexample
499 @noindent
500 instead of 
502 @smallexample
503 (defcustom cons-alist '(("foo" . 1) ("bar" . 2) ("baz" . 3))
504   "Each element is a cons-cell (KEY . VALUE).")
505 @end smallexample
507 Because of the way lists are implemented on top of cons cells, you can
508 treat @code{list-alist} in the example above as a cons cell alist, where
509 the value type is a list with a single element containing the real
510 value.
512 @smallexample
513 (defcustom list-alist '(("foo" 1) ("bar" 2) ("baz" 3))
514   "Each element is a list of the form (KEY VALUE)."
515   :type '(alist :value-type (group integer)))
516 @end smallexample
518 The @code{group} widget is used here instead of @code{list} only because
519 the formatting is better suited for the purpose.
521 Similarily, you can have alists with more values associated with each
522 key, using variations of this trick:
524 @smallexample
525 (defcustom person-data '(("brian"  50 t) 
526                          ("dorith" 55 nil)
527                          ("ken"    52 t))
528   "Alist of basic info about people.
529 Each element has the form (NAME AGE MALE-FLAG)."
530   :type '(alist :value-type (group age boolean)))
532 (defcustom pets '(("brian") 
533                   ("dorith" "dog" "guppy")
534                   ("ken" "cat"))
535   "Alist of people's pets.
536 In an element (KEY . VALUE), KEY is the person's name,
537 and the VALUE is a list of that person's pets."
538   :type '(alist :value-type (repeat string)))
539 @end smallexample
541 @item plist
542 The @code{plist} custom type is similar to the @code{alist} (see above),
543 except that the information is stored as a property list, i.e. a list of
544 this form:
546 @smallexample
547 (@var{key} @var{value} @var{key} @var{value} @var{key} @var{value} @dots{})
548 @end smallexample
550 The default @code{:key-type} for @code{plist} is @code{symbol},
551 rather than @code{sexp}.
553 @item symbol
554 The value must be a symbol.  It appears in the customization buffer as
555 the name of the symbol.
557 @item function
558 The value must be either a lambda expression or a function name.  When
559 it is a function name, you can do completion with @kbd{M-@key{TAB}}.
561 @item variable
562 The value must be a variable name, and you can do completion with
563 @kbd{M-@key{TAB}}.
565 @item face
566 The value must be a symbol which is a face name, and you can do
567 completion with @kbd{M-@key{TAB}}.
569 @item boolean
570 The value is boolean---either @code{nil} or @code{t}.  Note that by
571 using @code{choice} and @code{const} together (see the next section),
572 you can specify that the value must be @code{nil} or @code{t}, but also
573 specify the text to describe each value in a way that fits the specific
574 meaning of the alternative.
576 @item coding-system
577 The value must be a coding-system name, and you can do completion with
578 @kbd{M-@key{TAB}}.
580 @item color
581 The value must be a valid color name, and you can do completion with
582 @kbd{M-@key{TAB}}.  A sample is provided,
583 @end table
585 @node Composite Types
586 @subsection Composite Types
587 @cindex arguments (of composite type)
589   When none of the simple types is appropriate, you can use composite
590 types, which build new types from other types or from specified data.
591 The specified types or data are called the @dfn{arguments} of the
592 composite type.  The composite type normally looks like this:
594 @example
595 (@var{constructor} @var{arguments}@dots{})
596 @end example
598 @noindent
599 but you can also add keyword-value pairs before the arguments, like
600 this:
602 @example
603 (@var{constructor} @r{@{}@var{keyword} @var{value}@r{@}}@dots{} @var{arguments}@dots{})
604 @end example
606   Here is a table of constructors and how to use them to write
607 composite types:
609 @table @code
610 @item (cons @var{car-type} @var{cdr-type})
611 The value must be a cons cell, its @sc{car} must fit @var{car-type}, and
612 its @sc{cdr} must fit @var{cdr-type}.  For example, @code{(cons string
613 symbol)} is a customization type which matches values such as
614 @code{("foo" . foo)}.
616 In the customization buffer, the @sc{car} and the @sc{cdr} are
617 displayed and edited separately, each according to the type
618 that you specify for it.
620 @item (list @var{element-types}@dots{})
621 The value must be a list with exactly as many elements as the
622 @var{element-types} you have specified; and each element must fit the
623 corresponding @var{element-type}.
625 For example, @code{(list integer string function)} describes a list of
626 three elements; the first element must be an integer, the second a
627 string, and the third a function.
629 In the customization buffer, each element is displayed and edited
630 separately, according to the type specified for it.
632 @item (vector @var{element-types}@dots{})
633 Like @code{list} except that the value must be a vector instead of a
634 list.  The elements work the same as in @code{list}.
636 @item (choice @var{alternative-types}@dots{})
637 The value must fit at least one of @var{alternative-types}.
638 For example, @code{(choice integer string)} allows either an
639 integer or a string.
641 In the customization buffer, the user selects one of the alternatives
642 using a menu, and can then edit the value in the usual way for that
643 alternative.
645 Normally the strings in this menu are determined automatically from the
646 choices; however, you can specify different strings for the menu by
647 including the @code{:tag} keyword in the alternatives.  For example, if
648 an integer stands for a number of spaces, while a string is text to use
649 verbatim, you might write the customization type this way,
651 @example
652 (choice (integer :tag "Number of spaces")
653         (string :tag "Literal text"))
654 @end example
656 @noindent
657 so that the menu offers @samp{Number of spaces} and @samp{Literal Text}.
659 In any alternative for which @code{nil} is not a valid value, other than
660 a @code{const}, you should specify a valid default for that alternative
661 using the @code{:value} keyword.  @xref{Type Keywords}.
663 @item (radio @var{element-types}@dots{})
664 This is similar to @code{choice}, except that the choices are displayed
665 using `radio buttons' rather than a menu.  This has the advantage of
666 displaying documentation for the choices when applicable and so is often
667 a good choice for a choice between constant functions
668 (@code{function-item} customization types).
670 @item (const @var{value})
671 The value must be @var{value}---nothing else is allowed.
673 The main use of @code{const} is inside of @code{choice}.  For example,
674 @code{(choice integer (const nil))} allows either an integer or
675 @code{nil}.
677 @code{:tag} is often used with @code{const}, inside of @code{choice}.
678 For example,
680 @example
681 (choice (const :tag "Yes" t)
682         (const :tag "No" nil)
683         (const :tag "Ask" foo))
684 @end example
686 @noindent
687 describes a variable for which @code{t} means yes, @code{nil} means no,
688 and @code{foo} means ``ask.''
690 @item (other @var{value})
691 This alternative can match any Lisp value, but if the user chooses this
692 alternative, that selects the value @var{value}.
694 The main use of @code{other} is as the last element of @code{choice}.
695 For example,
697 @example
698 (choice (const :tag "Yes" t)
699         (const :tag "No" nil)
700         (other :tag "Ask" foo))
701 @end example
703 @noindent
704 describes a variable for which @code{t} means yes, @code{nil} means no,
705 and anything else means ``ask.''  If the user chooses @samp{Ask} from
706 the menu of alternatives, that specifies the value @code{foo}; but any
707 other value (not @code{t}, @code{nil} or @code{foo}) displays as
708 @samp{Ask}, just like @code{foo}.
710 @item (function-item @var{function})
711 Like @code{const}, but used for values which are functions.  This
712 displays the documentation string as well as the function name.
713 The documentation string is either the one you specify with
714 @code{:doc}, or @var{function}'s own documentation string.
716 @item (variable-item @var{variable})
717 Like @code{const}, but used for values which are variable names.  This
718 displays the documentation string as well as the variable name.  The
719 documentation string is either the one you specify with @code{:doc}, or
720 @var{variable}'s own documentation string.
722 @item (set @var{types}@dots{})
723 The value must be a list, and each element of the list must match one of
724 the @var{types} specified.
726 This appears in the customization buffer as a checklist, so that each of
727 @var{types} may have either one corresponding element or none.  It is
728 not possible to specify two different elements that match the same one
729 of @var{types}.  For example, @code{(set integer symbol)} allows one
730 integer and/or one symbol in the list; it does not allow multiple
731 integers or multiple symbols.  As a result, it is rare to use
732 nonspecific types such as @code{integer} in a @code{set}.
734 Most often, the @var{types} in a @code{set} are @code{const} types, as
735 shown here:
737 @example
738 (set (const :bold) (const :italic))
739 @end example
741 Sometimes they describe possible elements in an alist:
743 @example
744 (set (cons :tag "Height" (const height) integer)
745      (cons :tag "Width" (const width) integer))
746 @end example
748 @noindent
749 That lets the user specify a height value optionally
750 and a width value optionally.
752 @item (repeat @var{element-type})
753 The value must be a list and each element of the list must fit the type
754 @var{element-type}.  This appears in the customization buffer as a
755 list of elements, with @samp{[INS]} and @samp{[DEL]} buttons for adding
756 more elements or removing elements.
758 @item (restricted-sexp :match-alternatives @var{criteria})
759 This is the most general composite type construct.  The value may be
760 any Lisp object that satisfies one of @var{criteria}.  @var{criteria}
761 should be a list, and each element should be one of these
762 possibilities:
764 @itemize @bullet
765 @item
766 A predicate---that is, a function of one argument that has no side
767 effects, and returns either @code{nil} or non-@code{nil} according to
768 the argument.  Using a predicate in the list says that objects for which
769 the predicate returns non-@code{nil} are acceptable.
771 @item
772 A quoted constant---that is, @code{'@var{object}}.  This sort of element
773 in the list says that @var{object} itself is an acceptable value.
774 @end itemize
776 For example,
778 @example
779 (restricted-sexp :match-alternatives
780                  (integerp 't 'nil))
781 @end example
783 @noindent
784 allows integers, @code{t} and @code{nil} as legitimate values.
786 The customization buffer shows all legitimate values using their read
787 syntax, and the user edits them textually.
788 @end table
790   Here is a table of the keywords you can use in keyword-value pairs
791 in a composite type:
793 @table @code
794 @item :tag @var{tag}
795 Use @var{tag} as the name of this alternative, for user communication
796 purposes.  This is useful for a type that appears inside of a
797 @code{choice}.
799 @item :match-alternatives @var{criteria}
800 Use @var{criteria} to match possible values.  This is used only in
801 @code{restricted-sexp}.
803 @item :args @var{argumentlist}
804 Use the elements of @var{argumentlist} as the arguments of the type
805 construct.  For instance, @code{(const :args (foo))} is equivalent to
806 @code{(const foo)}.  You rarely need to write @code{:args} explicitly,
807 because normally the arguments are recognized automatically as
808 whatever follows the last keyword-value pair.
809 @end table
811 @node Splicing into Lists
812 @subsection Splicing into Lists
814   The @code{:inline} feature lets you splice a variable number of
815 elements into the middle of a list or vector.  You use it in a
816 @code{set}, @code{choice} or @code{repeat} type which appears among the
817 element-types of a @code{list} or @code{vector}.
819   Normally, each of the element-types in a @code{list} or @code{vector}
820 describes one and only one element of the list or vector.  Thus, if an
821 element-type is a @code{repeat}, that specifies a list of unspecified
822 length which appears as one element.
824   But when the element-type uses @code{:inline}, the value it matches is
825 merged directly into the containing sequence.  For example, if it
826 matches a list with three elements, those become three elements of the
827 overall sequence.  This is analogous to using @samp{,@@} in the backquote
828 construct.
830   For example, to specify a list whose first element must be @code{baz}
831 and whose remaining arguments should be zero or more of @code{foo} and
832 @code{bar}, use this customization type:
834 @example
835 (list (const baz) (set :inline t (const foo) (const bar)))
836 @end example
838 @noindent
839 This matches values such as @code{(baz)}, @code{(baz foo)}, @code{(baz bar)}
840 and @code{(baz foo bar)}.
842   When the element-type is a @code{choice}, you use @code{:inline} not
843 in the @code{choice} itself, but in (some of) the alternatives of the
844 @code{choice}.  For example, to match a list which must start with a
845 file name, followed either by the symbol @code{t} or two strings, use
846 this customization type:
848 @example
849 (list file
850       (choice (const t)
851               (list :inline t string string)))
852 @end example
854 @noindent
855 If the user chooses the first alternative in the choice, then the
856 overall list has two elements and the second element is @code{t}.  If
857 the user chooses the second alternative, then the overall list has three
858 elements and the second and third must be strings.
860 @node Type Keywords
861 @subsection Type Keywords
863 You can specify keyword-argument pairs in a customization type after the
864 type name symbol.  Here are the keywords you can use, and their
865 meanings:
867 @table @code
868 @item :value @var{default}
869 This is used for a type that appears as an alternative inside of
870 @code{choice}; it specifies the default value to use, at first, if and
871 when the user selects this alternative with the menu in the
872 customization buffer.
874 Of course, if the actual value of the option fits this alternative, it
875 will appear showing the actual value, not @var{default}.
877 If @code{nil} is not a valid value for the alternative, then it is
878 essential to specify a valid default with @code{:value}.
880 @item :format @var{format-string}
881 This string will be inserted in the buffer to represent the value
882 corresponding to the type.  The following @samp{%} escapes are available
883 for use in @var{format-string}:
885 @table @samp
886 @item %[@var{button}%]
887 Display the text @var{button} marked as a button.  The @code{:action}
888 attribute specifies what the button will do if the user invokes it;
889 its value is a function which takes two arguments---the widget which
890 the button appears in, and the event.
892 There is no way to specify two different buttons with different
893 actions.
895 @item %@{@var{sample}%@}
896 Show @var{sample} in a special face specified by @code{:sample-face}.
898 @item %v
899 Substitute the item's value.  How the value is represented depends on
900 the kind of item, and (for variables) on the customization type.
902 @item %d
903 Substitute the item's documentation string.
905 @item %h
906 Like @samp{%d}, but if the documentation string is more than one line,
907 add an active field to control whether to show all of it or just the
908 first line.
910 @item %t
911 Substitute the tag here.  You specify the tag with the @code{:tag}
912 keyword.
914 @item %%
915 Display a literal @samp{%}. 
916 @end table
918 @item :action @var{action}
919 Perform @var{action} if the user clicks on a button.
921 @item :button-face @var{face}
922 Use the face @var{face} (a face name or a list of face names) for button
923 text displayed with @samp{%[@dots{}%]}.
925 @item :button-prefix @var{prefix}
926 @itemx :button-suffix @var{suffix}
927 These specify the text to display before and after a button.
928 Each can be:
930 @table @asis
931 @item @code{nil}
932 No text is inserted.
934 @item a string
935 The string is inserted literally.
937 @item a symbol
938 The symbol's value is used.
939 @end table
941 @item :tag @var{tag}
942 Use @var{tag} (a string) as the tag for the value (or part of the value)
943 that corresponds to this type.
945 @item :doc @var{doc}
946 Use @var{doc} as the documentation string for this value (or part of the
947 value) that corresponds to this type.  In order for this to work, you
948 must specify a value for @code{:format}, and use @samp{%d} or @samp{%h}
949 in that value.
951 The usual reason to specify a documentation string for a type is to
952 provide more information about the meanings of alternatives inside a
953 @code{:choice} type or the parts of some other composite type.
955 @item :help-echo @var{motion-doc}
956 When you move to this item with @code{widget-forward} or
957 @code{widget-backward}, it will display the string @var{motion-doc} in
958 the echo area.  In addition, @var{motion-doc} is used as the mouse
959 @code{help-echo} string and may actually be a function or form evaluated
960 to yield a help string as for @code{help-echo} text properties.
961 @c @xref{Text help-echo}.
963 @item :match @var{function}
964 Specify how to decide whether a value matches the type.  The
965 corresponding value, @var{function}, should be a function that accepts
966 two arguments, a widget and a value; it should return non-@code{nil} if
967 the value is acceptable.
969 @ignore
970 @item :indent @var{columns}
971 Indent this item by @var{columns} columns.  The indentation is used for
972 @samp{%n}, and automatically for group names, for checklists and radio
973 buttons, and for editable lists.  It affects the whole of the
974 item except for the first line.
976 @item :offset @var{columns}
977 An integer indicating how many extra spaces to indent the subitems of
978 this item.  By default, subitems are indented the same as their parent.
980 @item :extra-offset
981 An integer indicating how many extra spaces to add to this item's
982 indentation, compared to its parent.
984 @item :notify
985 A function called each time the item or a subitem is changed.  The
986 function is called with two or three arguments.  The first argument is
987 the item itself, the second argument is the item that was changed, and
988 the third argument is the event leading to the change, if any.
990 @item :menu-tag
991 A tag used in the menu when the widget is used as an option in a
992 @code{menu-choice} widget.
994 @item :menu-tag-get
995 A function used for finding the tag when the widget is used as an option
996 in a @code{menu-choice} widget.  By default, the tag used will be either the
997 @code{:menu-tag} or @code{:tag} property if present, or the @code{princ}
998 representation of the @code{:value} property if not.
1000 @item :validate
1001 A function which takes a widget as an argument, and return @code{nil}
1002 if the widget's current value is valid for the widget.  Otherwise, it
1003 should return the widget containing the invalid data, and set that
1004 widget's @code{:error} property to a string explaining the error.
1006 You can use the function @code{widget-children-validate} for this job;
1007 it tests that all children of @var{widget} are valid.
1009 @item :tab-order
1010 Specify the order in which widgets are traversed with
1011 @code{widget-forward} or @code{widget-backward}.  This is only partially
1012 implemented.
1014 @enumerate a
1015 @item
1016 Widgets with tabbing order @code{-1} are ignored.
1018 @item 
1019 (Unimplemented) When on a widget with tabbing order @var{n}, go to the
1020 next widget in the buffer with tabbing order @var{n+1} or @code{nil},
1021 whichever comes first.
1023 @item
1024 When on a widget with no tabbing order specified, go to the next widget
1025 in the buffer with a positive tabbing order, or @code{nil}
1026 @end enumerate
1028 @item :parent
1029 The parent of a nested widget (e.g., a @code{menu-choice} item or an
1030 element of a @code{editable-list} widget).
1032 @item :sibling-args
1033 This keyword is only used for members of a @code{radio-button-choice} or
1034 @code{checklist}.  The value should be a list of extra keyword
1035 arguments, which will be used when creating the @code{radio-button} or
1036 @code{checkbox} associated with this item.
1037 @end ignore
1038 @end table