5.7 The menu-choice Widget

Syntax:

TYPE ::= (menu-choice [KEYWORD ARGUMENT]... TYPE ... )

The type argument represents each possible choice. The widget’s value will be that of the chosen type argument. This widget will match any value matching at least one of the specified type arguments.

:void

Widget type used as a fallback when the value does not match any of the specified type arguments.

:case-fold

Set this to nil if you don’t want to ignore case when prompting for a choice through the minibuffer.

:children

A list whose car is the widget representing the currently chosen type in the buffer.

:choice

The current chosen type

:args

The list of types.