From 3a668b4d0a439a619f7831ebd303f8d457feef70 Mon Sep 17 00:00:00 2001
From: Ian McInerney <Ian.S.McInerney@ieee.org>
Date: Tue, 5 Nov 2019 12:09:26 +0000
Subject: [PATCH] GTK: Use wxID_NONE for unhighlight events

---
 src/gtk/menu.cpp  | 2 +-
 src/gtk1/menu.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/gtk/menu.cpp b/src/gtk/menu.cpp
index 89976006ae..72432005e0 100644
--- a/src/gtk/menu.cpp
+++ b/src/gtk/menu.cpp
@@ -575,7 +575,7 @@ static void menuitem_deselect(GtkWidget*, wxMenuItem* item)
     if (!item->IsEnabled())
         return;
 
-    wxMenuEvent event(wxEVT_MENU_HIGHLIGHT, -1, item->GetMenu());
+    wxMenuEvent event(wxEVT_MENU_HIGHLIGHT, wxID_NONE, item->GetMenu());
     DoCommonMenuCallbackCode(item->GetMenu(), event);
 }
 }
diff --git a/src/gtk1/menu.cpp b/src/gtk1/menu.cpp
index 269972c499..1c2a76a344 100644
--- a/src/gtk1/menu.cpp
+++ b/src/gtk1/menu.cpp
@@ -673,7 +673,7 @@ static void gtk_menu_nolight_callback( GtkWidget *widget, wxMenu *menu )
     if (!menu->IsEnabled(id))
         return;
 
-    wxMenuEvent event( wxEVT_MENU_HIGHLIGHT, -1, menu );
+    wxMenuEvent event( wxEVT_MENU_HIGHLIGHT, wxID_NONE, menu );
     event.SetEventObject( menu );
 
     wxEvtHandler* handler = menu->GetEventHandler();