Stanimir Stamenkov wrote:
> 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.

Slightly OT: IMO, the program developers should seriously consider putting
the ability to override drop down menu font styles and sizes as an easily
adjustable user preference in the GUI. If it were just an appearance issue,
the I'd say fine, let people wrestle with Google & userchrome.css, but to
many folks including myself it is more than an appearance issue.

support-seamonkey mailing list

Reply via email to