From 237e89d8f693f1089f25fddf247ebc8b4a3e5353 Mon Sep 17 00:00:00 2001
From: Nick Schermer <nick@xfce.org>
Date: Tue, 1 Jun 2010 18:44:36 +0200
Subject: [PATCH] Small cleanup since gdk_event_get_time() accepts NULL.

---
 plugins/launcher/launcher.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/launcher/launcher.c b/plugins/launcher/launcher.c
index d6fd8ae96..e00f9ce67 100644
--- a/plugins/launcher/launcher.c
+++ b/plugins/launcher/launcher.c
@@ -1330,7 +1330,7 @@ launcher_plugin_menu_item_activate (GtkMenuItem      *widget,
 
   /* get a copy of the event causing the menu item to activate */
   event = gtk_get_current_event ();
-  event_time = event != NULL ? gdk_event_get_time (event) : GDK_CURRENT_TIME;
+  event_time = gdk_event_get_time (event);
 
   /* get the widget screen */
   screen = gtk_widget_get_screen (GTK_WIDGET (widget));
-- 
GitLab