*fix* use XFlush to really make use of the tooltip timeouts and do not rely on some...

[chaz/tint2] / src / taskbar / task.c

diff --git a/src/taskbar/task.c b/src/taskbar/task.c
index 94229a2766430c3672aa7a146f36a344bd08caab..4e85c9450e8e47ef99c6e2d996db4994955c2013 100644 (file)
--- a/src/taskbar/task.c
+++ b/src/taskbar/task.c
@@ -424,6 +424,7 @@ void blink_urgent()
                }
                urgent_task = urgent_task->next;
        }
+       panel_refresh = 1;
 }