Bug 712662

Summary: Review Request: gnome-shell-extension-autohidetopbar - auto hide topbar extension
Product: [Fedora] Fedora Reporter: Tim Lauridsen <tim.lauridsen>
Component: Package ReviewAssignee: Nobody's working on this, feel free to take it <nobody>
Status: CLOSED CANTFIX QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: medium Docs Contact:
Priority: medium    
Version: rawhideCC: fedora-package-review, metherid, notting
Target Milestone: ---   
Target Release: ---   
Hardware: All   
OS: Linux   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2011-10-17 08:58:38 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:

Description Tim Lauridsen 2011-06-12 08:52:00 UTC
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

Comment 1 Rahul Sundaram 2011-06-13 11:32:02 UTC
This extension has a bug.  If I hit the top left corner where activities is,  it stops auto hiding.

Comment 2 Tim Lauridsen 2011-06-13 16:45:28 UTC
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.

Comment 3 Rahul Sundaram 2011-06-13 16:51:38 UTC
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

Comment 4 Tim Lauridsen 2011-06-14 05:38:11 UTC
Yes, I will do so

Comment 5 Tim Lauridsen 2011-10-17 08:58:38 UTC
I will retire this review, extentions has changed in gnome 3.2, so this has to be redesigned to work in rawhide and F16