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 79437 - No way to access panel properties when panel is full with launchers
No way to access panel properties when panel is full with launchers
Status: RESOLVED DUPLICATE of bug 82642
Product: gnome-panel
Classification: Other
Component: panel
unspecified
Other other
: High normal
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-04-21 22:21 UTC by Dan Siemon
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.0



Description Dan Siemon 2002-04-21 22:21:07 UTC
Package: gnome-panel
Severity: normal
Version: CVS 2002-04-20
Synopsis: No way to access panel properties when the panel is completely full.
Bugzilla-Product: gnome-panel
Bugzilla-Component: Panel

Description:
Description of Problem:
When the panel is completely full (ie with a Window List) there is no
way to access that panels properties. This is needed to change it's
size, hide buttons etc.




------- Bug moved to this database by unknown@bugzilla.gnome.org 2002-04-21 18:21 -------

Reassigning to the default owner of the component, gnome-panel-maint@bugzilla.gnome.org.

Comment 1 Luis Villa 2002-07-02 03:08:19 UTC
You can with a window list (there is a very small area along the
bottom) but since launchers obey Fitts law this occurs with them.
Easiest to simulate with a corner panel. Note that this makes the
panel impossible to remove, so 'high'.
Comment 2 Luis Villa 2002-07-02 11:25:51 UTC
Lots of discussion in the newer bug.

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