Fix for context menu key under wxGTK

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

src/richtext/richtextctrl.cpp

@@ -1140,7 +1140,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:
@@ -1201,6 +1200,12 @@ void wxRichTextCtrl::OnChar(wxKeyEvent& event)
             {
                 return;
             }
+            case WXK_MENU:
+            {
+                // Necessary for the context menu to work on wxGTK
+                event.Skip();
+                return;
+            }
             default:
             {
             }
@@ -1367,6 +1372,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;