use GDK_KEY_Menu instead of the deprecated GDK_Menu via gdkkeysyms-compat.h

src/process-tree-view.c

@@ -15,9 +15,6 @@
 #include <glib/gi18n.h>
 #include <gtk/gtk.h>
 #include <gdk/gdkkeysyms.h>
-#ifdef HAVE_GTK3
-#include <gdk/gdkkeysyms-compat.h>
-#endif
 #include "process-tree-model.h"
 #include "process-tree-view.h"
 #include "task-manager.h"
@@ -559,7 +556,7 @@ treeview_key_pressed (XtmProcessTreeView *treeview, GdkEventKey *event)
 {
 	guint pid;
 
-	if (event->keyval != GDK_Menu)
+	if (event->keyval != GDK_KEY_Menu)
 		return FALSE;
 
 	{