With the top menu panel, I'm getting a weird inconsistency where the bottom pixel across is sometimes the same color as the rest of the panel and sometimes now. Screenshot with the whole desktop + 3 xmags of different areas at http://people.redhat.com/~katzj/panel-pixel-border.png Running rawhide as of today (20050711) [katzj@bree owners]$ rpm -q gtk2 gnome-panel gtk2-2.7.2-1 gnome-panel-2.11.4-1
Does dragging the panel to the bottom of the screen and back make it go away again? Does it always look the same or does it change randomly? Matthias: anything ring a bell here?
Dragging to the bottom and back does seem to fix things. In general, it looks basically the same but to be honest, I only happened to notice it, so it could have changed. I'll keep an eye on it
Did you see this again? Haven't seen it with rawhide, myself.
Seems better now