Thanks for tracking this. But alas, gnome-bugs consider this is a minor issue. And it stayed that way and UNCONFIRMED for 8 months.
However, the bug is really a pest for autohide panels users. Could it be possible to hasten gnome-bugs up a bit? Maybe adding a message with a link to this bug? But please remove the 3 unrelated messages in this thread to another one. Thanks. -- tooltip hides Gnome desktop's bottom panel in Hardy https://bugs.launchpad.net/bugs/222267 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs