3 Oct
2007
3 Oct
'07
5:04 p.m.
Hi, this incorporates both my job and Jamie's patch to turn off navigation colors. To be applied only with David (and Jamie) approval. Andrea Wed Oct 3 11:00:17 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * WindowNavigation: add configurable colors and the possibility to turn them off