After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 309923 - autohide should completely hide the panel
autohide should completely hide the panel
Status: RESOLVED DUPLICATE of bug 127973
Product: gnome-panel
Classification: Other
Component: panel
2.10.x
Other Linux
: Normal enhancement
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2005-07-09 23:16 UTC by Lee Aylward
Modified: 2005-07-10 10:32 UTC
See Also:
GNOME target: ---
GNOME version: 2.9/2.10


Description Lee Aylward 2005-07-09 23:16:42 UTC 
Distribution/Version: Debian unstable

Autohide should have an option to completely hide itself from the screen, rather
than have it keep ~10 pixels on the screen. Having the top 1/5 of an icon
visible on the bottom of the screen is not desirable.
Comment 1 Sebastien Bacher 2005-07-10 10:32:30 UTC 
Thanks for the bug report. This particular bug has already been reported into
our bug tracking system, but please feel free to report any further bugs you find.

*** This bug has been marked as a duplicate of 127973 ***