I understand the use of "System*" color names to accomodate user-defined
color-schemes, but there needs to be a portable way of getting at this.
--
-stewart-
Under Unix, you'll get default colors that have non-RGB names, too
(e.g. "black"). The correct way to get the RGB values for a given
color is:
winfo rgb <window> <color>
For example, on my system I get:
% winfo rgb . SystemButtonFace
49152 49152 49152
--Scott