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 381430 - Auto-Hide when there is no "main-menu" and "menu-bar"
Auto-Hide when there is no "main-menu" and "menu-bar"
Status: RESOLVED DUPLICATE of bug 128412
Product: gnome-panel
Classification: Other
Component: panel
2.14.x
Other All
: Normal minor
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2006-12-01 22:00 UTC by André Klitzing
Modified: 2007-05-25 21:38 UTC
See Also:
GNOME target: ---
GNOME version: 2.13/2.14


Description André Klitzing 2006-12-01 22:00:42 UTC 
Please describe the problem:
The panel doesn't hide if you open the main menu with <Alt><F1> with no "main-menu" and "menu-bar" in a panel.

Tested with: 2.14.1-0ubuntu13 and 2.16.1-0ubuntu3

Steps to reproduce:
#1 Set gnome-panel to "Auto-Hide"
#2 Remove "main-menu" and "menu-bar" from gnome-panel
#3 Press <Alt><F1> to open main menu (Menu opens on screen)
#4 Close main menu and move mouse to gnome-panel
#5 Panel doesn't hide

Actual results:
The panel doesn't hide anymore

Expected results:
Panel should hide

Does this happen every time?
Yes

Other information:
Reported at: https://bugs.launchpad.net/products/gnome-panel/+bug/45974
Comment 1 Vincent Untz 2007-05-25 21:38:54 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 128412 ***