Re: Does changing Display resolution setting do anything?

2001-07-10 Thread Henri Sivonen
In article <[EMAIL PROTECTED]>, [EMAIL PROTECTED] wrote: > I realize that Mozilla has a setting in Preference to use 96 or 72 dpi. > I've tried it and it has no affect /effect on the Mac version. Never has. doesn't The pref takes effect after restarting Mozilla. It does have an effect on the

Re: Does changing Display resolution setting do anything?

2001-07-10 Thread Phillip M. Jones, C.E.T.
I realize that Mozilla has a setting in Preference to use 96 or 72 dpi. I've tried it and it has no affect /effect on the Mac version. Never has. doesn't increase font size on monitor. (use G4- 500 256 Mb ATI Rage 128 AGP Graphics Card). Monitor resolutions:Bit Depth: 640x480

Re: Does changing Display resolution setting do anything?

2001-07-09 Thread Henri Sivonen
In article <[EMAIL PROTECTED]>, [EMAIL PROTECTED] wrote: > PC Video systems 96dpi > Mac Video systems are based on a 72dpi system. always has since day one > and still is. The default *logical resolution* on Windows in 96px/in. The *logical resolution* on Mac is 72px/in *unless* an app overrid

Re: Does changing Display resolution setting do anything?

2001-07-09 Thread Phillip M. Jones, C.E.T.
This information may or may not be relevant: PC Video systems 96dpi Mac Video systems are based on a 72dpi system. always has since day one and still is. That means a PC Font shows 72/96dpi as large on a Mac. example a Courier New 9 pt Font on a PC shows up as a 6 pt Courier Font on a Mac. Hen

Re: Does changing Display resolution setting do anything?

2001-07-09 Thread Henri Sivonen
In article <9hthdh$[EMAIL PROTECTED]>, (Dave Huang) wrote: > In article <[EMAIL PROTECTED]>, > Henri Sivonen <[EMAIL PROTECTED]> wrote: > >The use of pixels is, very, very intentional and by design. > > Documentation, please? http://bugzilla.mozilla.org/show_bug.cgi?id=28899 for example. >

Re: Does changing Display resolution setting do anything?

2001-07-03 Thread Dave Huang
In article <[EMAIL PROTECTED]>, Henri Sivonen <[EMAIL PROTECTED]> wrote: >The use of pixels is, very, very intentional and by design. Documentation, please? All that would do is make default installations of Mozilla unusable as screen resolutions increase. The trend is to move _away_ from pixels

Re: Does changing Display resolution setting do anything?

2001-07-03 Thread Henri Sivonen
In article <9hrd6l$[EMAIL PROTECTED]>, [EMAIL PROTECTED] (Dave Huang) wrote: > Hmm, well on closer inspection, it looks like those are pixels after all. > However, I get the feeling that the intention was for the units to be > points, The use of pixels is, very, very intentional and by design.

Re: Does changing Display resolution setting do anything?

2001-07-02 Thread Dave Huang
In article <9hr5n1$[EMAIL PROTECTED]>, Dave Huang <[EMAIL PROTECTED]> wrote: >Well the font size _is_ specified in physical units on the Fonts >Preferences pane... Hmm, well on closer inspection, it looks like those are pixels after all. However, I get the feeling that the intention was for the u

Re: Does changing Display resolution setting do anything?

2001-07-02 Thread Dave Huang
In article <[EMAIL PROTECTED]>, Henri Sivonen <[EMAIL PROTECTED]> wrote: >The display resolution only affects font size defined in physical units >(pt, pc, mm, cm, in). The other ways are setting the size in pixels and >setting the size relative to your font size pref. Well the font size _is_

Re: Does changing Display resolution setting do anything?

2001-07-02 Thread Henri Sivonen
In article <9hp0b9$[EMAIL PROTECTED]>, [EMAIL PROTECTED] (Dave Huang) wrote: > I'm running the Win32 build of Mozilla 0.9.2, and was wondering if the > Display resolution setting in the Fonts settings page actually does > anything. I've set it to 133dpi (which is my LCD screen's res), and > the

Does changing Display resolution setting do anything?

2001-07-01 Thread Dave Huang
I'm running the Win32 build of Mozilla 0.9.2, and was wondering if the Display resolution setting in the Fonts settings page actually does anything. I've set it to 133dpi (which is my LCD screen's res), and the fonts didn't change any from how they looked with the default 96dpi setting--they're st