from preamble:

"Change Set:		MenuSelectionColorPreference-dgd
Date:			30 August 2004
Author:			Diego Gomez Deck

New preference to configure the menu selection color.

In absence of the preference the color will be calculated just like now
is.

"
!
-------------- next part --------------
A non-text attachment was scrubbed...
Name: MenuSelectionColorPreference-dgd.cs.gz
Type: application/octet-stream
Size: 587 bytes
Desc: not available
Url : http://lists.squeakfoundation.org/pipermail/squeak-dev/attachments/20040830/ea47d805/MenuSelectionColorPreference-dgd.cs.obj