GNOME Bugzilla – Bug 105233
Merge some of the panel types
Last modified: 2004-12-22 21:47:04 UTC
Many of the panel types are similar enough to be merged easily. It would aid usability. Here's what we have now: * Corner panel * Edge panel * Floating panel * Sliding panel * Menu panel The first 4 can be combined into one, dunno what to call it. Basically this panel is a floating panel. When you move it close to any desktop edge (say 8 pixels or something), it snaps to the edge. While snapped on an edge, if you move it close to a corner or the middle, it snaps again. (This covers the floating, sliding, and corner panel). There will be an extra checkbutton in the properties, greyed out unless the panel is snapped to an edge: [ ] Grows to fill a desktop edge (Could use some revision in the wording). Enabling it achieves an edge panel. The "position" part of the panel properties can now be removed or kept, depending if people think it is still useful.
Hmm, I just realized this is a duplicate of <a href="http://bugzilla.gnome.org/show_bug.cgi?id=87027">Bug 87027</a>. I ended up saying pretty much exactly what is said in that bug, but in far less words. So I'll keep this open until a maintainer marks one or the other as a duplicate. Plus that bug seems to be label 2.0.x.
marking as a dupe, mark already has a working implementation of this so it should be in 2.4 *** This bug has been marked as a duplicate of 87027 ***