Closed Bug 852522 Opened 12 years ago Closed 12 years ago

system font sizes are not scaled in response to dpi

Categories

(Core :: Widget: Win32, defect)

x86_64
Windows 7
defect
Not set
normal

Tracking

()

RESOLVED FIXED
mozilla22

People

(Reporter: jfkthame, Assigned: jfkthame)

References

(Blocks 1 open bug)

Details

Attachments

(1 file)

As described in bug 844604 comments 17 and 19, we're not scaling the "system" font sizes on Windows (as used for various chrome elements) in response to changes in the devPixelsPerPx value (whether set explicitly or using the new default of -1 = auto).

It's easiest to see this by opening about:config and changing devPixelsPerPx to values such as 0.5, 2, and 3; note that although the UI in general scales in response, the font sizes in the tab header, location bar, bookmarks bar, etc do -not- scale.
Attachment #726647 - Flags: review?(jmathies)
Comment on attachment 726647 [details] [diff] [review]
scale system font sizes in response to dpi/devPixelsPerPx setting

Thanks for working on cleaning these issues up.
Attachment #726647 - Flags: review?(jmathies) → review+
https://hg.mozilla.org/mozilla-central/rev/b55cc3437395
Status: NEW → RESOLVED
Closed: 12 years ago
Resolution: --- → FIXED
Seems that with this patch setting devPixelsPerPx to 1.0 the 'system' fonts are small probably 96dpi even though I have an OS dpi of 120.
Depends on: 852963
(In reply to Gary [:streetwolf] from comment #4)
> Seems that with this patch setting devPixelsPerPx to 1.0 the 'system' fonts
> are small probably 96dpi even though I have an OS dpi of 120.

Yes indeed. Because if you set devPixelsPerPx to 1.0, you're telling Firefox you want to *override* the system dpi setting and treat your display as though it were 96dpi. So you get smaller fonts.
Depends on: 844604
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: