Jeremy Huddleston 069fc6ce0a XQuartz: Don't weed out duplicates in generated keymap ...

There seems to be an issue in the 1.5+ server where shift-space does not
produce a space when 'keycode 57 = space' but it does when 'keycode 57 = space
space'

Signed-off-by: Jeremy Huddleston <jeremyhu@freedesktop.org>

2009-11-05 18:34:50 -08:00

29 KiB

Raw Blame History

View Raw