Map it to SCK_MENU instead of treating it as a modifier and simply swallowing
it.
Closes #14205.
git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@71199
c3d73ce0-8a6f-49c7-b76d-
6d57e0e08775
- Added wxSplitterWindow::SetSashInvisible() (Armel Asselin).
- Enable/disable "Window" menu items in AUI MDI correctly (wsu).
- Added wxTimePickerCtrl::Get/SetTime().
+- Fix WXK_MENU handling in wxStyledTextCtrl under wxGTK (cantabile).
GTK:
case WXK_CONTROL: key = 0; break;
case WXK_ALT: key = 0; break;
case WXK_SHIFT: key = 0; break;
- case WXK_MENU: key = 0; break;
+ case WXK_MENU: key = SCK_MENU; break;
}
#ifdef __WXMAC__