[patch] see the main enhancemen description

Alt_or_Ctrl_4unhide.patch (text/plain), 595 bytes, created by Michal Janke on 2009-03-24 15:17:01 UTC

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