Fix for context menu key under wxGTK

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@76900 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

src/richtext/richtextctrl.cpp

@@ -1157,7 +1157,6 @@ void wxRichTextCtrl::OnChar(wxKeyEvent& event)
             case WXK_SHIFT:
             case WXK_ALT:
             case WXK_CONTROL:
-            case WXK_MENU:
             case WXK_PAUSE:
             case WXK_CAPITAL:
             case WXK_END:
@@ -1218,6 +1217,12 @@ void wxRichTextCtrl::OnChar(wxKeyEvent& event)
             {
                 return;
             }
+            case WXK_MENU:
+            {
+                // Necessary for the context menu to work on wxGTK
+                event.Skip();
+                return;
+            }
             default:
             {
             }
@@ -1384,6 +1389,7 @@ void wxRichTextCtrl::OnChar(wxKeyEvent& event)
         switch ( keycode )
         {
             case WXK_ESCAPE:
+            case WXK_MENU: // Necessary for the context menu to work on wxGTK
             {
                 event.Skip();
                 return;