START-TIME-ENABLED : FLAG

START-TIME-ENABLED is a flag or parameter.
If NIL, recording events of type START-TIME is disabled.
START-TIME-ENABLED takes values of type BOOLEAN.
It belongs to subjects EVENTS .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage