Created attachment 588757 [details] [diff] [review] v1 Changes are backed up by existing tests. For the rest of the stuff in the patch, it's mostly about visual changes.
Created attachment 588818 [details] [diff] [review] v2 Cleaned up, try is green. https://tbpl.mozilla.org/?tree=Try&rev=99f836e9fef1
Comment on attachment 588818 [details] [diff] [review] v2 looks good
The right and accurate way to get the zoom ratio is nsIDOMWindowUtils::screenPixelsPerCSSPixel.
This highlighter as a `zoom` property that uses `nsIDOMWindowUtils::screenPixelsPerCSSPixel`. Just use highlighter.zoom. http://mxr.mozilla.org/mozilla-central/source/browser/devtools/highlighter/highlighter.jsm#626
Yes, we can and should use this. Follow-up bug to avoid rebasing 7 other patches :) Thanks Paul!
Comment on attachment 588818 [details] [diff] [review] v2 [Approval Request Comment] Regression caused by (bug #): New feature User impact if declined: Intro and outro transitions may be inaccurate on zoomed pages. Testing completed (on m-c, etc.): m-c Risk to taking this patch (and alternatives if risky): Low risk. Small patch.