On Tue, Aug 28, 2012 at 10:01 PM, Lars Aronsson <lars(a)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