Closed
Bug 291012
Opened 20 years ago
Closed 20 years ago
font size did increase in windows builds on high screen resolution
Categories
(SeaMonkey :: UI Design, defect)
Tracking
(Not tracked)
VERIFIED
INVALID
People
(Reporter: bernd_mozilla, Unassigned)
Details
Attachments
(3 files)
the default font size changed recently and become bigger than the default on my system. I do see the problem with 2005-04-19 but it was OK with 2005-04-08
this changed between 04-17-06 and 04-18-05 http://bonsai.mozilla.org/cvsquery.cgi?treeid=default&module=all&branch=HEAD&branchtype=match&dir=&file=&filetype=match&who=&whotype=match&sortby=Date&hours=2&date=explicit&mindate=2005-04-17+06%3A00%3A00&maxdate=2005-04-18+05%3A00%3A00&cvsroot=%2Fcvsroot
Neil was that the intention of bug 289217?
Comment 6•20 years ago
|
||
OK, so I will need some information to determine what the issue is here. Firstly, in Display properties Appearance, which font and size do you use? I use 8pt Microsoft Sans Serif. Secondly, in Settings Advanced, what DPI setting do you use? I use 96dpi. Thirdly, in both versions, if you open DOM Inspector and use it to inspect itself what is given as the computed font size of the window element? Before the patch I get 10.6667px; after it I get the true 11px height. Fourthly, if you write some HTML that specifies some text in your font at each height, does that HTML display the same difference that you are experiencing? I see no difference between a 10.6667px font and an 11px font.
it looks like your patch dropped the rounding to nearest: (ptrLogFont->lfHeight < 0 ? -0.5 : 0.5)); // round up
Comment 9•20 years ago
|
||
Comment on attachment 181240 [details]
font settings
No, I need to know your *Windows* font settings...
Comment 10•20 years ago
|
||
Although based on that screenshot I'd say that your caption and text font sizes are the same, so in fact Mozilla was using the wrong font size previously.
Comment 11•20 years ago
|
||
(In reply to comment #9) >No, I need to know your *Windows* font settings... In particular, your message box font.
| Reporter | ||
Comment 12•20 years ago
|
||
Its not the MessageBox font but the menu font. Mozilla now honours the windows settings as other apps do. I liked the smaller fonts more, they fitted perfect. So simply thats live, things regress slowly. I guess there are opposite dupes in bugzilla claiming that mozilla uses a too small font for its menus which are now fixed.
Status: NEW → RESOLVED
Closed: 20 years ago
Resolution: --- → INVALID
Comment 13•20 years ago
|
||
Actually the font depends on the theme, but for Modern the following apply:
button, menu, menuitem, tab { font: menu; }
window, page, dialog, wizard, menulist, tooltip, toolbarbutton, menulist,
.menulist-menupopup > menuitem, menulist > menupopup > menuitem,
.menulist-menupopup > menu, menulist > menupopup > menu,
.autocomplete-history-popup > menuitem, .tab-bottom > .tab-text,
#go-button, #search-button { font: message-box; }
You could always override the font size in userChrome.css of course.Status: RESOLVED → VERIFIED
You need to log in
before you can comment on or make changes to this bug.
Description
•