| 
 
  | 
                              mouse.drv=<filename>
Default:        None
Purpose:        Specifies the filename of the mouse driver you are using.
To Change:      Choose the Windows Setup icon from the Main-group window and
                change the setting for the Mouse option. | 
| 
 
  |