<<>> <> <> <> <> DIRECTORY Rope USING [ROPE]; PopUpSelection: CEDAR DEFINITIONS = BEGIN <> Request: PROC [ header: Rope.ROPE ¬ NIL, choice: LIST OF Rope.ROPE, headerDoc: Rope.ROPE ¬ NIL, choiceDoc: LIST OF Rope.ROPE ¬ NIL, default: NAT ¬ 0, timeOut: NAT ¬ 0, position: REF ¬ NIL ] RETURNS [INT]; <> <> << 0 if selected outside menu or on header-line>> << -1 if timed out>> <> <> <> <> <> <> <> <> <> <<>> END.