On 09/10/2012 17:31, Siarzhuk Zharski wrote: > Am 07.10.2012 20:35, schrieb Axel Dörfler: >> On 10/07/2012 06:14 PM, Prasad Joshi wrote: >>>> The patch keeps the text color as blue and changes the highlight to >>>> yellow. >> >> Looks much better now, thanks. Have you tried using red for the text >> instead? Not sure if that overdoes it, but I guess the coloring should >> be somewhat alarming without being annoying :-) >> >> If that doesn't look good, I'm perfectly fine with your solution, though. > > Shouldn't all those colors be configurable in the correspondent tab in > Appearance preflet some day? ;-) At least from Theme Manager, that's one of the few unimplemented stuff that is on the TODO list :p François.