PopUpButtonsPrivate.mesa
Last tweaked by Mike Spreitzer on September 1, 1989 3:11:40 pm PDT
Bier, July 17, 1989 10:04:44 pm PDT
DIRECTORY Imager, PopUpButtons, PopUpSelection2, Rope, ViewerClasses;
PopUpButtonsPrivate: CEDAR DEFINITIONS = {OPEN PUS: PopUpSelection2, PopUpButtons;
GuardState: TYPE = {guarded, arming, armed};
Class: TYPE = REF ClassPrivate;
ClassPrivate: TYPE = RECORD [
spec: ClassSpec,
menu: PUS.Menu,
wDir: ROPE,
choiceQuaRopes, documentation: ROPEList,
helpCount, choiceCount: NAT
];
Instance: TYPE = REF InstancePrivate;
InstancePrivate: TYPE = RECORD [
spec: InstanceSpec,
packageGlobalFrame: POINTER,
packageName: ROPE ← NIL,
executingCount: INTEGER ← 0,
depressed, highlight: BOOL ← FALSE,
shownVS: VisibleState ← [FALSE, FALSE, FALSE],
state: GuardState,
Paint: PaintProc, -- for buttons created by InstantiateButtonProvided
InTest: InTestProc -- for buttons created by InstantiateButtonProvided
];
}.