| 摘要 |
A pointer graphics manager is operating in a data processing system under a graphical user interface. The pointer graphics manager includes a pointer graphics editor for allowing an end user to edit the appearance of any of a plurality of pointer graphics displayed by the graphical user interface. Further, the graphics manager includes a pointer graphic selector for allowing the end user to select a change any of the individual pointer graphics or any set of pointer graphics within the plurality of pointer graphics. Within the pointer graphics, each pointer graphic represents a unique system operation and changes one from another depending upon the location of the device pointer while being displayed. Typically, the plurality of pointer graphics constitutes a device pointer file and are grouped as a pointer set. Several sets of pointer graphics are selectable by the pointer graphics selector. The pointer graphics manager further includes a default pointer set selector that allows the end user to restore any changed plurality of pointer graphics to a pre-edited condition or to a default set, whichever is desired by the user.
|
