gnome-panel issue in fact and a bug has been opened upstream about a such issue as signaled in #5350: http://bugzilla.gnome.org/show_bug.cgi?id=163343
gnome-panel issue in fact and a bug has been opened upstream about a such issue bugzilla. gnome.org/ show_bug. cgi?id= 163343
as signaled in #5350:
http://