Comment 5 for bug 1578619

Revision history for this message
Tim Peeters (tpeeters) wrote :

To summarize, there were 2 bugs:

1. PullToRefresh messes up the topMargin
2. On pop(), the topMargin of page0 was set to header.height (instead of keeping the current topMargin) (Fixed)

Bug 2 was hiding bug 1 in the example from the report, and it was exposed when bug 2 got fixed. We still need to fix bug 1, but a workaround for now is to reset the incorrect topMargin when popping a page.

Note that the example in my previous comment shows bug 1 independently from bug 2.