On Tue, Aug 28, 2012 at 10:01 PM, Lars Aronsson lars@aronsson.se wrote:
The auto-hide might be smooth for experienced computer users, but perhaps not for the elderly people that we try to recruit as new editors.
That is one more use case for this: https://bugzilla.wikimedia.org/show_bug.cgi?id=30401
Helder