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 72309 - Rounded panel edges
Rounded panel edges
Status: RESOLVED WONTFIX
Product: gnome-panel
Classification: Other
Component: panel
1.5.x
Other All
: Normal enhancement
: ---
Assigned To: Panel Maintainers
Panel Maintainers
: 125067 (view as bug list)
Depends on:
Blocks: 73072
 
 
Reported: 2002-02-22 23:53 UTC by Dave Bordoley [Not Reading Bug Mail]
Modified: 2015-03-24 13:00 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement


Description Dave Bordoley [Not Reading Bug Mail] 2002-02-22 23:53:17 UTC 
I think it would look really spiffy if all panels had rounded edges similar
to the menu panel, but on all 4 corners. Of course this could be an
optional  thing.
Comment 1 Dave Bordoley [Not Reading Bug Mail] 2002-02-27 19:27:29 UTC 
I just wanted to add that in the panel properties menu i think these
options should be present for rounded corners.

1. no rounded corners
2. only on the edge of the screen (ala menu applet)
3. all corners.

obviously the ui team could think up better terminology.
Comment 2 Mark Finlay 2002-12-30 19:30:04 UTC 
This would be really useful to do when we are getting rid of multiple
panel types so that there will be no visual regression.
Comment 3 Mark McLoughlin 2003-01-12 04:31:36 UTC 
Upping priority since the menu panel is gone now ...
Comment 4 Vincent Untz 2003-10-20 22:36:10 UTC 
*** Bug 125067 has been marked as a duplicate of this bug. ***
Comment 5 Mark McLoughlin 2004-05-13 10:54:58 UTC 
We decided we weren't going to do this:

http://mail.gnome.org/archives/desktop-devel-list/2003-November/msg00183.html