3 ms·

i really disliked the way it auto-hid. I'd rather it remain visible.

• qhoxie 17y ago
  We'll consider making that a preference, so you can prevent it from hiding.
• profgubler 17y ago
  Agreed. Maybe instead of auto hide, always leave it on with an option to hide it.