Pushbutton Widget - State

STATE represents the current state of the button. When set, STATE will change the label to the string represented by an index into the LABELS attribute. The index is assumed to be OPTION BASE 0.