Re: Milestone 1 submission...
At 08:58 AM 4/19/00 -0500, William M. Perry wrote:
Good point... Does the current widget stuff handle changes to faces
though?
Or is it a 'you get the colors from the face at instantiation time, and no
changes afterwards'? Or do we require a separate call to
set-glyph-property?
Colors (and fonts) get updated dynamically. I've had too many complaints
about colors in the tab widget for it to be otherwise.
andy
--------------------------------------------------------------
Dr Andy Piper
Principal Consultant, BEA Systems Ltd