+/* Filter out the key repeats that come too fast */
+static gboolean key_handler(GtkWidget *widget, GdkEventKey *event,
+ gpointer user_data)
+{
+ EventViewerData *evd = (EventViewerData *)user_data;
+
+ g_debug("event time : %u , last time : %u", event->time,
+ evd->last_tree_update_time);
+
+ if(guint32_before(event->time, evd->last_tree_update_time))
+ return TRUE;
+ else
+ return FALSE;
+}