305623 - Chaning "Display Resolution - Other" produces the opposite of the expected result.

Status: RESOLVED INVALID

(Core :: Layout: Text and Fonts, defect)

Description

[Mike Hoye]

User-Agent:       Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.10) Gecko/20050725 Firefox/1.0.6 (Ubuntu package 1.0.6)
Build Identifier: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.10) Gecko/20050725 Firefox/1.0.6 (Ubuntu package 1.0.6)

Customizing the display resolution option produces an incorrect result - by
setting it to something very low (10 dpi), you'd expect that the fonts would
become very small (since only 10 pixels per inch are required to make a 72-point
font, say.) At the other extreme, setting the screen resolution to 800 dpi
should make the fonts very small, for the opposite reason.

It turns out the opposite happens - customizing it to small values results in
tiny fonts, and large values results in huge fonts. Verified on both Windows
(1.0.6) and Linux (Ubuntu). It continues to work fine in the 72-96 dpi range,
but once you get too far away from that the difference problem becomes very obvious.

The dialogs/chrome also become mostly unusable with the DPI set to either
extreme, so you have to undo the change manually in prefs.js.


Reproducible: Always

Steps to Reproduce:
1. close Firefox, set user_pref("browser.display.screen_resolution"...) to 10 or
800 in prefs.js with an editor
2. Fire up the browser, look at Google for the font problems, look at edit ->
preferences for the dialog layout problems.
3.
Actual Results:  
As described, the DPI-to-actual-letter-size ratio was wrong.


May be related to 156179, 288214

Comment 1

[Mike Hoye]

(In reply to comment #0)
> Customizing the display resolution option produces an incorrect result - by
> setting it to something very low (10 dpi), you'd expect that the fonts would
> become very small (since only 10 pixels per inch are required to make a 72-point
> font, say.) At the other extreme, setting the screen resolution to 800 dpi
> should make the fonts very small, for the opposite reason.
> 
> It turns out the opposite happens - customizing it to small values results in
> tiny fonts, and large values results in huge fonts. Verified on both Windows
> (1.0.6) and Linux (Ubuntu). It continues to work fine in the 72-96 dpi range,
> but once you get too far away from that the difference problem becomes very
obvious.
> 
> The dialogs/chrome also become mostly unusable with the DPI set to either
> extreme, so you have to undo the change manually in prefs.js.
> 
> 
> Reproducible: Always
> 
> Steps to Reproduce:
> 1. close Firefox, set user_pref("browser.display.screen_resolution"...) to 10 or
> 800 in prefs.js with an editor
> 2. Fire up the browser, look at Google for the font problems, look at edit ->
> preferences for the dialog layout problems.
> 3.
> Actual Results:  
> As described, the DPI-to-actual-letter-size ratio was wrong.
> 
> 
> May be related to 156179, 288214