[Webkit-unassigned] [Bug 68098] ValueAuto and ValueMediumDPI are the same for all platforms.

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Fri Sep 16 06:33:06 PDT 2011


https://bugs.webkit.org/show_bug.cgi?id=68098





--- Comment #9 from Konrad Piascik <kpiascik at yahoo.com>  2011-09-16 06:33:06 PST ---
(In reply to comment #8)
> > I don't like the argument name much, what about something like maximumDPI instead? Would something like that be possible?
> 
> Or change the algorithm to bound the DPI by the deviceDPI? Wouldn't that make more sense?

The change that I'm proposing is to override the default value of 160 to be device/platform configurable.  We already have bounds on the web page specified DPI.

If a web developer wants to specify a target DPI different than the default then they should be able to do so, within the already defined bounds.  This would allow the web developer to have more control, assuming they know what they're doing, and still give a device/platform the ability to better control how things DPI correction works in the default case.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.



More information about the webkit-unassigned mailing list