Closed
Bug 744901
Opened 13 years ago
Closed 13 years ago
Store the page size in FrameMetrics in CSS pixels in addition to device pixels.
Categories
(Core :: Layout, defect)
Tracking
()
RESOLVED
FIXED
mozilla14
| Tracking | Status | |
|---|---|---|
| blocking-fennec1.0 | --- | beta+ |
People
(Reporter: jrmuizel, Assigned: jrmuizel)
References
(Blocks 1 open bug)
Details
Attachments
(1 file, 1 obsolete file)
|
4.61 KB,
patch
|
jrmuizel
:
review+
|
Details | Diff | Splinter Review |
Some of the consumers (The Java frontend and RenderFrameParent) need the value in CSS pixels and using the device pixels gives slightly incorrect results because of rounding.
| Assignee | ||
Comment 1•13 years ago
|
||
| Assignee | ||
Updated•13 years ago
|
Attachment #614514 -
Flags: review?(jones.chris.g)
Comment on attachment 614514 [details] [diff] [review]
Store the page size in FrameMetrics in CSS pixels in addition to device pixels
What consumer wants CSS-pixel values, and how do they fix rounding errors? This change on its own is fine, but I'm skeptical that it would legitimately fix anything.
Attachment #614514 -
Flags: review?(jones.chris.g)
| Assignee | ||
Comment 3•13 years ago
|
||
(In reply to Chris Jones [:cjones] [:warhammer] from comment #2)
> Comment on attachment 614514 [details] [diff] [review]
> Store the page size in FrameMetrics in CSS pixels in addition to device
> pixels
>
> What consumer wants CSS-pixel values, and how do they fix rounding errors?
> This change on its own is fine, but I'm skeptical that it would legitimately
> fix anything.
The consumer that this patch fixes is RenderFrameParent. It seems to currently assume that rounding doesn't happen.
The Java front end currently uses device pixel page sizes to calculate new device pixel page size which is obviously wrong. This patch is a step toward fixing that.
| Assignee | ||
Updated•13 years ago
|
Attachment #614514 -
Flags: review?(jones.chris.g)
Comment on attachment 614514 [details] [diff] [review]
Store the page size in FrameMetrics in CSS pixels in addition to device pixels
>diff --git a/gfx/layers/Layers.h b/gfx/layers/Layers.h
>+ // Consumer's often want to know the size before scaling to pixels
>+ // so we record this size as well.
>+ gfx::Size mCSSContentSize;
>+
I think this member is pretty self-explanatory, not sure this comment
is helpful. (And it has a typo.) Would drop it, up to you.
Attachment #614514 -
Flags: review?(jones.chris.g) → review+
Updated•13 years ago
|
blocking-fennec1.0: --- → ?
Updated•13 years ago
|
Assignee: nobody → jmuizelaar
Comment 5•13 years ago
|
||
Please do a complete risk assessment of all three pieces before landing, it seems like we could break a lot here.
blocking-fennec1.0: ? → beta+
| Assignee | ||
Comment 6•13 years ago
|
||
This patch has very minimal risk, it adds some fields and uses them in one consumer in a place that was previously incorrect.
| Assignee | ||
Comment 7•13 years ago
|
||
Attachment #614514 -
Attachment is obsolete: true
Attachment #615998 -
Flags: review+
Comment 8•13 years ago
|
||
https://hg.mozilla.org/integration/mozilla-inbound/rev/e9053acaa5e1 with the typos actually fixe'd.
Comment 9•13 years ago
|
||
Status: NEW → RESOLVED
Closed: 13 years ago
Resolution: --- → FIXED
Target Milestone: --- → mozilla14
You need to log in
before you can comment on or make changes to this bug.
Description
•