Sat, 28 Feb 2009 09:54:17 -0800, /Peter Potamus the Purple Hippo/:
Stanimir Stamenkov wrote:

GUI controls appearance is generally inherited from the underlying graphic desktop environment. If you want the font of the menus larger, just adjust it through the Display Appearance (Advanced) settings of your Windows Desktop. You may also adjust the "Message Box" font as it controls the appearance of the text in other than menu GUI controls.

sorry to say, but I control my via the script I provided.

If one uses a non-classic theme which doesn't honor the system settings, yes, user style rules will be needed to adjust the fonts.

support-seamonkey mailing list

Reply via email to