Sets up the color characteristics of a button widget. The syntax is:
set button <button_ON_colors> <button_OFF_colors> thickness
where <button_ON_colors> and
<button_OFF_colors> each contain four
color numbers:
text color of the button text face color of the button facebcol bright color of the shadow outline for 3-D lookdcol dark color of the shadow outline for 3-D look
and thickness is the thickness of the shadow outline
set button generally precedes the draw button command.
'set rgb 90 100 100 100' 'set rgb 91 50 50 50' 'set rgb 92 200 200 200' 'set button 1 90 91 92 2 90 92 91 6' 'draw button 1 1.5 8.0 2 0.5 Button #1' 'draw button 2 4.0 8.0 2 0.5 Button #2' 'draw button 3 6.5 8.0 2 0.5 Button #3'