Thank you for your bug report. This is already fixed upstream though, and will be in the next tarball (see http://git.gnome.org/browse/gnome-panel/commit/?id=67fd15da344e590314b92147382d2cc37f074136)
Thank you for your bug report. This is already fixed upstream though, and will be in the next tarball (see http:// git.gnome. org/browse/ gnome-panel/ commit/ ?id=67fd15da344 e590314b9214738 2d2cc37f074136)