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.
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.