eddiefullmetal/gnome-shell-extensions — pull request #20 by rtjohnso (2013-03-26 00:45:22+00:00)
Title: Fix bug where bottom panel can slide off bottom of screen (issue 18)

if the bottom panel begins to hide before it has finished the show animation, then the hide animation will slide it down by panel.height pixels. But, since the panel has not finished sliding up by panel.height pixels, it will end up sliding completely off the bottom of the screen and will be impossible to unhide until the user goes to the overview. This patch fixes the problem.