Sun, 1 Mar 2009 19:38:24 -0500, /Roger Fink/:

As is true for gray-modern, which is what I use exclusively, but the SeaMonkey project would benefit overall from a revisiting of this issue, as there is no obvious downside to offering users an easily managed choice on an issue that is important to many people..

I don't think adjusting the GUI element font sizes is stuff to put in the main application. It would cause the GUI overloaded yet more for use by too few people. Changing the fonts of a theme could also break it in a way - I've previously done this with the modern theme. So probably it is best for the individual themes to supply additional customization options if they deviate from the system defaults. In this regard I see your problem as deficiency of the modern theme. For anyone insisting on using fancy custom graphics theme there's always the variant of using the "userChrome.css".

support-seamonkey mailing list

Reply via email to