--- xfce4-panel-4.4.3/panel/panel-properties.c-orig 2008-10-26 23:06:43.000000000 +0100 +++ xfce4-panel-4.4.3/panel/panel-properties.c 2009-03-24 14:52:39.000000000 +0100 @@ -851,7 +851,7 @@ panel_enter (Panel *panel, priv->hide_timeout = 0; } - if (priv->hidden) + if (priv->hidden && (event->state & (GDK_CONTROL_MASK|GDK_MOD1_MASK))) priv->unhide_timeout = g_timeout_add (UNHIDE_TIMEOUT, (GSourceFunc)_unhide_timeout, panel);