eddiefullmetal/gnome-shell-extensions — pull request #5 by rjquery (2012-09-18 05:47:41+00:00)
Title: Update panelSettings@eddiefullmetal.gr/extension.js

Made the hide function change the opacity as well, because it tweens the height to 1px, and 1px of the icon highlight appeared.