linuxmint/Cinnamon — pull request #867 by rjanja (2012-07-03 23:55:02+00:00)
Title: Adds panel autohide show/hide delay options

Implements show/hide delays proposed in #725 and #78.
(Recreated pull request as my last one was tainted, sorry)