Spec URL: http://timlau.fedorapeople.org/files/gnome-shell/extensions/SPECS/gnome-shell-extension-autohidetopbar.spec SRPM URL: http://timlau.fedorapeople.org/files/gnome-shell/extensions/SRPMS/gnome-shell-extension-autohidetopbar-1.0-1.fc15.src.rpm Description: gnome-shell extension for auto hide the gnome shell top bar. Double Click on the top bar to turn auto hide on/off
This extension has a bug. If I hit the top left corner where activities is, it stops auto hiding.
Bug or feature :-) If move the mouse pointer to top left corner to show the overview and uses the Super-Key to close the overview, then the top bar will be visible until you move the mouse pointer to the top of the screen, then it will hide again.
I am aware of this but find it annoyingly inconsistent. Can you talk to the developer of this extension and find out if this is a bug? I suspect it is
Yes, I will do so
I will retire this review, extentions has changed in gnome 3.2, so this has to be redesigned to work in rawhide and F16