2007/7/16, Chris Muller <asqueaker at gmail.com>:
> Wouldn't it be simpler and more consistent to just use the
> textHighlightColor rather than adding another preference?  It actually
> should be renamed to "selectionColor", so that selections, be they in
> lists or text, are consistently rendered.

I don't have any textHighlightColor preference in my 3.10 based image.

-- 
Damien Cassou