Adds a Preference to Diego's new menu look. You can switch back to the 
classic version of the selection coloring: background darker vs. 
background and foreground negated. This is especially useful for 
colored menu-entries. A reversing of these often gives unacceptable 
contrasts. 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/x-gzip
Size: 965 bytes
Desc: not available
Url : http://lists.squeakfoundation.org/pipermail/squeak-dev/attachments/20040307/7aa00744/attachment.bin