|
Lines 3757-3763
Link Here
|
| 3757 |
|
3757 |
|
| 3758 |
static void hide_tooltip(void) |
3758 |
static void hide_tooltip(void) |
| 3759 |
{ |
3759 |
{ |
| 3760 |
if (GTK_WIDGET_VISIBLE(tip_window)) |
3760 |
if (gtk_widget_get_visible(tip_window)) |
| 3761 |
g_get_current_time(&tooltip_last_popdown); |
3761 |
g_get_current_time(&tooltip_last_popdown); |
| 3762 |
|
3762 |
|
| 3763 |
gtk_widget_hide(tip_window); |
3763 |
gtk_widget_hide(tip_window); |
