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.