MenuPrivate:
TYPE =
RECORD [
choices: ChoiceS,
header: Image,
doc: ROPE,
left, top: Label,
rows, cols, timeOut: NAT,
height, width: NAT -- total size of menu, in pixels -- ← 0,
rowHeight, colWidth: NAT ← 0,
llSize, tlSize: NAT ← 0,
arrayLeft, arrayBot, arrayTopSep--from top of menu to top of array--, arrayHeight, arrayWidth: NAT ← 0
];