Skip to content
Commit 3365534c authored by Marco Martin's avatar Marco Martin Committed by Nate Graham
Browse files

only update the global header reacting to the active page 

if we get new pages which aren't active, they're non
influent wrt the status of the global header
BUG:437088
parent f0e45181
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment