DIRECTORY Imager, PopUpButtons, PopUpSelection2, Rope, ViewerClasses; PopUpButtonsPrivate: CEDAR DEFINITIONS = {OPEN PUS: PopUpSelection2, PopUpButtons; ROPEList: TYPE = LIST OF ROPE; GuardState: TYPE = {guarded, arming, armed}; Class: TYPE = REF ClassPrivate; ClassPrivate: TYPE = RECORD [ spec: ClassSpec, menu: PUS.Menu, choiceQuaRopes, documentation: ROPEList, choiceCount: NAT ]; Instance: TYPE = REF InstancePrivate; InstancePrivate: TYPE = RECORD [ spec: InstanceSpec, executingCount: INTEGER _ 0, depressed, highlight, shownHighlighted, shownExecuting: BOOL _ FALSE, shownGuarded: BOOL, state: GuardState ]; }. PPopUpButtonsPrivate.mesa Mike Spreitzer November 13, 1986 1:23:11 pm PST Κ)– "cedar" style˜code™K™/—K˜KšΟk œ<˜EK˜š Οnœœ œœœ ˜RK˜Kš œ œœœœ˜K˜Kšœ œ˜,K˜Kšœœœ˜šœœœ˜K˜Kšœœ˜Kšœ(˜(Kšœ ˜K˜—K˜Kšœ œœ˜%šœœœ˜ Kšœ˜Kšœœ˜Kšœ8œœ˜EKšœœ˜Kšœ˜K˜—K˜K˜——…—tν