@Andreas: Your analysis seems sound, but to be honest this seems to be an issue within Gtk+3, I'm not sure how we can properly work around this in the panel reliably and without introducing ugly hacks.
This may not sound encouraging, but I'm tempted to wait for Gtk+ devs to fix this in their toolkit...
@Andreas: Your analysis seems sound, but to be honest this seems to be an issue within Gtk+3, I'm not sure how we can properly work around this in the panel reliably and without introducing ugly hacks.
This may not sound encouraging, but I'm tempted to wait for Gtk+ devs to fix this in their toolkit...