--- emerald-0.8.4/src/main.c.old 2010-03-29 19:49:30.420710030 -0700 +++ emerald-0.8.4/src/main.c 2010-03-29 19:52:33.654024944 -0700 @@ -3757,7 +3757,7 @@ static void hide_tooltip(void) { - if (GTK_WIDGET_VISIBLE(tip_window)) + if (gtk_widget_get_visible(tip_window)) g_get_current_time(&tooltip_last_popdown); gtk_widget_hide(tip_window);