Pushbutton Widget - Pen

The value of this attribute specifies the pen color that will be used to paint the LABEL text on the PUSHBUTTON. For a discussion of allowed pens, see Settable Pens Table.