diff options
| author | Dave Love | 2000-10-26 18:36:21 +0000 |
|---|---|---|
| committer | Dave Love | 2000-10-26 18:36:21 +0000 |
| commit | d1e3c8a732a9bc075c930aa94514a9a01ac8cb48 (patch) | |
| tree | d90c65ed205e37c650d21e8fbc4a9c3213c45ae4 | |
| parent | a0b972de7bddbe8e071fdd6442f395c9868717ce (diff) | |
| download | emacs-d1e3c8a732a9bc075c930aa94514a9a01ac8cb48.tar.gz emacs-d1e3c8a732a9bc075c930aa94514a9a01ac8cb48.zip | |
checklist custom type.
| -rw-r--r-- | lispref/customize.texi | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lispref/customize.texi b/lispref/customize.texi index 0da420cafc9..71dc5b90740 100644 --- a/lispref/customize.texi +++ b/lispref/customize.texi | |||
| @@ -734,6 +734,23 @@ The value must be a list and each element of the list must fit the type | |||
| 734 | @var{element-type}. This appears in the customization buffer as a | 734 | @var{element-type}. This appears in the customization buffer as a |
| 735 | list of elements, with @samp{[INS]} and @samp{[DEL]} buttons for adding | 735 | list of elements, with @samp{[INS]} and @samp{[DEL]} buttons for adding |
| 736 | more elements or removing elements. | 736 | more elements or removing elements. |
| 737 | |||
| 738 | @item (checklist @var{type} @dots{}) | ||
| 739 | The @var{type} arguments represent each checklist item. The value will | ||
| 740 | be a list containing the values of all checked @var{type} arguments. | ||
| 741 | The checklist will match a list whose elements all match at least one of | ||
| 742 | the specified @var{type} arguments. | ||
| 743 | |||
| 744 | Usually a checklist will only match if the items are in the exact | ||
| 745 | sequence given in the specification. If you supply the additional | ||
| 746 | arguments @code{:greedy t}, it will allow the items to come in any | ||
| 747 | sequence. However, if you extract the value they will be in the | ||
| 748 | sequence given in the checklist, i.e.@: the original sequence is | ||
| 749 | forgotten. | ||
| 750 | |||
| 751 | Using this type with @code{:greedy} is useful for specifying association | ||
| 752 | or property lists with keys from a fixed set and properly-typed | ||
| 753 | arguments. | ||
| 737 | @end table | 754 | @end table |
| 738 | 755 | ||
| 739 | @node Splicing into Lists | 756 | @node Splicing into Lists |