Comment 0 for bug 1352338

Revision history for this message
David Barth (dbarth) wrote :

The new top-header takes too much space by default. It doesn't hide until a long page is scrolled.

Suggestion: auto-hiding, like the previous bottom bar, would probably make that less of an issue.