zzrough/gs-extensions-drop-down-terminal — pull request #27 by elemongw (2013-01-08 01:43:18+00:00)
Title: Separate opening and closing animation.

Patch to separate the opening and the closing animation into two different settings. For me, the eye candy is cool but I want it only when closing as when I press the button to bring up the terminal I want to be able to instantly start typing. Migration of the old setting for the animation isn't implemented, I didn't think it was worth the hassle.