Adam d3c0713969 key remapping: don't remap space in options dialog ...

The options dialog never accepts space, so remapping a key to it doesn't make sense, and it is possible the original key was one of the keys actually being listened for

2020-10-30 14:44:20 -04:00

..

src

key remapping: don't remap space in options dialog

2020-10-30 14:44:20 -04:00

pom.xml

Bump for 1.6.31-SNAPSHOT

2020-10-28 12:32:25 +00:00