Bug 712662
Summary: | Review Request: gnome-shell-extension-autohidetopbar - auto hide topbar extension | ||
---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | Tim Lauridsen <tim.lauridsen> |
Component: | Package Review | Assignee: | 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: | rawhide | CC: | 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
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 |