I'm not overly confident in this patch because I don't know my way around gnome-panel. It fixes the described problem for me though.
I'm not overly confident in this patch because I don't know my way around gnome-panel. It fixes the described problem for me though.