mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-08-18 01:19:45 +08:00
Vadim Zeitlin
eb6e0289d6
No real changes, but don't complicate the constants definitions needlessly just to avoid changing the numeric value of WXK_LAUNCH_APP constants as nobody should rely on them anyhow. Not doing it simplifies things and allows to condense the mapping from GDK keys to wx ones.