&DRIFT: GRAPHICS-INPUT: device
CHOICE-DEVICE
Used for menus.
LOCATOR-DEVICE
Used to choose a specific point.
PICK-DEVICE
Used to select a wire.
VALUATOR-DEVICE
Used to enter a value.
Keyword
index
. Formatted on 10/11/98.