UPDATE-FLAG : UTILITY

UPDATE-FLAG is an utility.
(UPDATE-FLAG flag)
is used to give the user a chance to change a flag or parameter.
The user will be prompted for a new value of flag, the default being
its current value. This is useful in initialization dialogues. For example:
(update-flag 'style)
will prompt the user for a style. It the user simply types return, it will
be unchanged.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage