Comment 4 for bug 1225079

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

I changed the proposed MR not to change the default visibility of pages inside PageStack. So the page will still be visible, but do not assume that it is on the PageStack when it was not pushed there.

Previously, even if the Page was not pushed, still it could set the header. This is no longer the case with the attached MR so that will avoid some confusion.