Bonjour, Once upon a time there was a nice color selector in the package gnome-utils. It gave you all the names of colors available on the system and the hexadecimal and decimal code for each of them. Is there something of the like nowadays? I did not find it! Thank you. -- François Patte UFR de mathématiques et informatique Université René Descartes http://www.math-info.univ-paris5.fr/~patte
