Changing Pointer Settings

  You can change the shape and color of the pointer, as well
  as certain mouse characteristics.  To change your mouse and
  pointer settings, choose Pointer...  from Session Manager's
  Options menu.  Session Manager displays the Pointer Options
  dialog box.

  For more information about changing pointer and mouse
  settings, click on an item from the additional topics below.

  Additional topics:

  *   Pointer Acceleration

  *   Mouse Double-Click Timeout

  *   Pointer Foreground Color

  *   Setting the Pointer Background Color

  *   Setting the Mouse Button Arrangement

  *   Pointer Shape