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

(-)compiz-0.8.4/gtk/window-decorator/gtk-window-decorator.c.old (-1 / +1 lines)
Lines 4233-4239 Link Here
4233 
static void
 4233 
static void
4234 
hide_tooltip (void)
 4234 
hide_tooltip (void)
4235 
{
 4235 
{
4236 
    if (GTK_WIDGET_VISIBLE (tip_window))
 4236 
    if (gtk_widget_get_visible (tip_window))
4237 
	g_get_current_time (&tooltip_last_popdown);
 4237 
	g_get_current_time (&tooltip_last_popdown);
4238 

          4238
          

        

        

          4239
          
    gtk_widget_hide (tip_window);

          4239
          
    gtk_widget_hide (tip_window);

        






  

  Return to bug 311743