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 97990 - auto-hide panel doesn't hide after selection from GNOME menu
auto-hide panel doesn't hide after selection from GNOME menu
Status: RESOLVED DUPLICATE of bug 97182
Product: gnome-panel
Classification: Other
Component: panel
unspecified
Other other
: Normal normal
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-11-07 04:11 UTC by Todd Wilson
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Todd Wilson 2002-11-08 04:46:52 UTC 
Package: gnome-panel
Severity: normal
Version: 2.0.6
Synopsis: auto-hide panel doesn't hide after selection from GNOME menu
Bugzilla-Product: gnome-panel
Bugzilla-Component: Panel

Description:
Description of Problem:
I have a left-edge panel set on autohide.  After selecting an item from
the GNOME menu (red hat icon), or clicking outside of the resulting
popup menu(s), the panel remains visible (unhidden).  If my cursor
re-enters the panel and then leaves again, the panel hides. 

I'm using RedHat 8.0 out of the box (except for creating the autohide
left-edge panel; I moved the original panel to the top).




------- Bug moved to this database by unknown@bugzilla.gnome.org 2002-11-07 23:46 -------

The original reporter (twilson@csufresno.edu) of this bug does not have an account here.
Reassigning to the exporter, unknown@bugzilla.gnome.org.
Reassigning to the default owner of the component, gnome-panel-maint@bugzilla.gnome.org.
Comment 1 Arvind S N 2002-11-08 05:06:00 UTC 
It does not happen always but it does happen sometimes though.
panel version 2.1.2. guess we a similar report bug #97182.


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