That work. Thanks James!
If anyone is interested, I found I can switch between more elaborate, predefined
(in the rc file) styles using the rc_parse_string method:
rc_parse_string('widget "*mywidget*" style "mywidget_style1"')
...
rc_parse_string('widget "*mywidget*" style "mywidget_style2"')
This is a good topic for an advanced tutorial section.
:-)
Jeff
James Henstridge wrote:
>
> You want to use something more like this:
> widget_style = widget.get_style().copy()
> widget_style.bg[STATE_NORMAL] = widget.get_colormap().alloc(0xffff,0,0)
> widget.set_style(widget_style)
>
> James.
--
J.W. Bizzaro mailto:[EMAIL PROTECTED]
Boston College Chemistry http://www.uml.edu/Dept/Chem/Bizzaro/
--
To unsubscribe: echo "unsubscribe" | mail [EMAIL PROTECTED]
