remove unnecessary whitespace in code
Rename AUTOHIDE_TIME const to ANIMATION_TIME
Smoother animations: use show/hide events (instead of showing/hiding), fix relayout to avoid stepping over the search bar in overview mode, and smoother tweener animations.
show how to enable using gnome-shell-extension-tool, and update Copyright/credits