FOCUS-OSET* is a monitor function.
Reset some flags when a particular option set is reached,
and then set the flags back again when the option set changes again.
The option set should be entered in the form "oset-n" where n is a
positive integer.
The values for the flags to revert to are those which are current at
the time you typed FOCUS-OSET*. See also FOCUS-OSET.
This only works for the procedures MS91-6 and MS91-7.
There is a similar monitor function for MS89 and MS90-9,
called FOCUS-OTREE*.
The command format for FOCUS-OSET* is:


The arguments have the following meaning:
OSET : Option set to watch for
FLAGLIST : Flags to change
VALUELIST : New values for these flags

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage