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 72457 - Allow changing the menu panel's properties
Allow changing the menu panel's properties
Status: RESOLVED DUPLICATE of bug 72890
Product: gnome-panel
Classification: Other
Component: general
1.5.x
Other Linux
: Normal enhancement
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-02-24 22:04 UTC by Oren Held
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Oren Held 2002-02-24 22:04:41 UTC 
I think the gnome-panel should also have the options of auto-hide, allow
covering by windows, etc.
I believe that some thinks it's not nice, but what's wrong with HAVING AN
OPTION, while the default is what it's now? I'm sure some people will find
it useful.
Comment 1 Gediminas Paulauskas 2002-03-08 00:17:08 UTC 

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