Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 263607
Collapse All | Expand All

(-)xfce4-panel-4.4.3/panel/panel-properties.c-orig (-1 / +1 lines)
Lines 851-857 panel_enter (Panel *panel, Link Here
851 
            priv->hide_timeout = 0;
 851 
            priv->hide_timeout = 0;
852 
        }
 852 
        }
853 

          853
          

        

          
            

              854
              
        if (priv->hidden)


              854
              
        if (priv->hidden && (event->state & (GDK_CONTROL_MASK|GDK_MOD1_MASK)))

            

        

          855
          
            priv->unhide_timeout = g_timeout_add (UNHIDE_TIMEOUT, 

          855
          
            priv->unhide_timeout = g_timeout_add (UNHIDE_TIMEOUT, 

        

        

          856
          
                                                  (GSourceFunc)_unhide_timeout,

          856
          
                                                  (GSourceFunc)_unhide_timeout,

        

        

          857
          
                                                  panel);

          857
          
                                                  panel);

        






  

  Return to bug 263607