I've seen this for several upgrades recently, including today's (2.0.0-1). When a panel is autoraised, then hides, it pops up again until I mouseover a second time. I haven't seen any mention of this, and don't want to file a spurious bug. Any comments? -- To UNSUBSCRIBE, email to debian-gtk-gnome-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org