Comment 25 for bug 130235

Definitely a bug, a very annoying one at that too.

Passing it as a feature is just unfortunate. If it is really a desired feature, name it, have a check-box in the preferences that can enable the said feature.

When I set the autohide feature, my intent is to "temporarily" raise the dock, use it and forget about it. If I am expected to manually hide the dock, auto-hide is broken.