PR #406 was the macOS titlebar unification (mentioned separately in the Title bar section); the sticky home header pop-in fix is PR #407. Both from @afonsojramos in the same merge round. cc
PR #406 was the macOS titlebar unification (mentioned separately in the Title bar section); the sticky home header pop-in fix is PR #407. Both from @afonsojramos in the same merge round. cc