Fixes #2167

Ignoring right alt properly. On Windows this requires
handling two separate key events, the second one (17) being
for ctrl.