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?
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?