[Bug 545591] Auto-hidden gnome-panel does not show up when desktop-effects are enabled.