SET-MOUSE-SHAPE (op-code 5)

The second parameter defines the desired shape of the mouse pointer. The shape is changed immediately, even if the mouse has not been moved. The possible values are:

ARROW-POINTER The default arrow shape
BAR-POINTER A vertical bar
CROSS-POINTER Cross hairs
HELP-POINTER A question mark
WAIT-POINTER An hourglass

These are defined in acugui.def. Note that the runtime system changes the shape of the mouse when you are using automatic mouse handling. When an ACCEPT statement finishes execution, the last shape defined by SET-MOUSE-SHAPE is restored.