Inverted widget colors again

[Dirk Mueller]

On Sam, 10 Aug 2002, Michael Reiher wrote:

> Hmm, to me this sounds over complicated from a users POV. I guess 99% of all
> users including me would never ever want/be able to create a custom style
> sheet. And I don't see what else this flexibility should be good for. 

FYI, this feature is already there and is called "user stylesheet". 


-- 
Dirk (received 99 mails today)