&DRIFT: GRAPHICS-INPUT: device
Used for menus.
Used to choose a specific point.
Used to select a wire.
Used to enter a value.
Go to the top level,
to &DRIFT,
to GRAPHICS-INPUT,
to device,
to the topic index,
to the table of contents, or to the full text.
Formatted on 21/01/18 at 16:55.