Copyright © 1985 by Xerox Corporation. All rights reserved.

Ch. Jacobi, August 3, 1983 9:47 am

last edited by Ch. Jacobi, May 23, 1985 1:28:55 pm PDT

Rope USING [ROPE];

label: Rope.ROPE ← NIL,

choice: LIST OF Rope.ROPE,

default: NAT ← 0,

mouse: REF ← NIL]

RETURNS [NAT];

--returns 1 for first choice, 2 for second...

--0 if selected outside menu or on title-line

--default means: the cursor is initially moved to this line.

--mouse to override mouseposition. See documentation for possible types.