Subject: Objects

Keywords: ::buttons
          ::active

Title: what does activating an object do

--------------------------------------------------
Activating an object makes it live: See object tables.
If an object is not live then its contents are essentially
commented out. For example, to use a lemma in a proof the 
lemma must be active. 

To activate:
  If viewing object, then (c-z) will activate and close.
  Use Activate* button of Object Menu.
  Use Act* button of The Navigator (deprecated)

Note that in the navigator scrollbox the first boolean of the 
status field indicates whether the object is active or not.
EG:
active   :  -> STM   TTF  not_over_and        
inactive :  -> STM   FFF  not_over_and        

⋅
--------------------------------------------------

Authors: RICH:t

Contributors: NUPRL:t

⋅

Home