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.
" !
to test it, try something like the following: Preferences setParameter: #menuSelectionColor to: Color red.
squeak-dev@lists.squeakfoundation.org