Agreed. Maybe instead of auto hide, always leave it on with an option to hide it.

We'll consider making that a preference, so you can prevent it from hiding.