Manager for selecting a pointer graphics folder and customizing pointers
AssigneeInternational Business Machines Corporation
InventorIra H. Schneider
Life of this patent
Estimating the term…
Loading patent…
AssigneeInternational Business Machines Corporation
InventorIra H. Schneider
Estimating the term…
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.
In a data processing system operating under a graphical user interface, which provides for a device pointer operable on said data processing system, said device pointer having a plurality of pointer graphics, which each represents a unique system operation and changes one from another depending upon the location of said device pointer, a pointer graphics manager comprising:
Dependencies are inferred from the claim text.