(other): New widget type.

This commit is contained in:
Richard M. Stallman 1998-06-10 04:19:36 +00:00
parent 976350af4c
commit cc0a25e146

View file

@ -2909,6 +2909,17 @@ link for that string."
:format "%v\n%h"
:documentation-property 'variable-documentation)
(define-widget 'other 'sexp
"Matches any value, but doesn't let the user edit the value.
This is useful as last item in a `choice' widget.
You should use this widget type with a default value,
as in (other DEFAULT) or (other :tag "NAME" DEFAULT).
If the user selects this alternative, that specifies DEFAULT
as the value."
:tag "Other"
:format "%t%n"
:value 'other)
(defvar widget-string-prompt-value-history nil
"History of input to `widget-string-prompt-value'.")