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.
>The pref is first and foremost aimed at screen display. Points are more
>or less arbitrary in the context of a screen (in practice). In the
>context of my screen, the size of a pixel is well-defined for me (and
>I'm the person setting my prefs).
I don't see how it's more or less arbitrary, seeing that there _is_
a screen resolution setting right there on the panel where you can
set it to "Other" and measure the length of a line and enter in the
length in cms or inches. You can set your screen resolution very
precisely with that.
>The idea that users are in many cases expected to use points for setting
>sizes for their personal pixel-based displays is a Bad Thing--especially
>if the point is not a real point but the relationship of the point and
>the pixel is some arbitrary constant (as it is on Mac, to great extent
>*in practice* on Windows and X11).
No, users don't care how big their pixels are. Nobody measures font sizes
in pixels. Mozilla provides a method for the user to tell it what the
relation between pixels and points are for his display, independently
of the OS's or window system's idea of that relation--it should use that
information. I don't see why Mozilla should be gratuitously different
from all other applications in setting font sizes, especially where there's
absolutely no advantage.
--
Name: Dave Huang | Mammal, mammal / their names are called /
INet: [EMAIL PROTECTED] | they raise a paw / the bat, the cat /
FurryMUCK: Dahan | dolphin and dog / koala bear and hog -- TMBG
Dahan: Hani G Y+C 25 Y++ L+++ W- C++ T++ A+ E+ S++ V++ F- Q+++ P+ B+ PA+ PL++
