just wondering about the following (remotely related) issue:

there is now special casing in the qt4 frontend for grey40 etc

perhaps it is cleaner to define the default colors in rgb values?




Reply via email to