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);