30 Aug
2004
30 Aug
'04
9:05 p.m.
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.
" !