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

Implements show/hide delays proposed in #725 and #78.