@Dmitry: unfortunately never worked but I've added it into the code hoping that upstream patches for gnome-panel would have solved the issue.
@Dmitry: unfortunately never worked but I've added it into the code hoping that upstream patches for gnome-panel would have solved the issue.