From e12bf33f8dcbc72969058960017e229394fcdc2f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 25 Dec 2011 19:39:25 -0600 Subject: [PATCH] 'rshift and 'rcontrol don't interrupt keybindings Closes PR 12461 --- collects/mred/private/wxme/keymap.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/mred/private/wxme/keymap.rkt b/collects/mred/private/wxme/keymap.rkt index 4f66580db1..505420285c 100644 --- a/collects/mred/private/wxme/keymap.rkt +++ b/collects/mred/private/wxme/keymap.rkt @@ -445,7 +445,9 @@ (def/public (handle-key-event [any? obj] [key-event% event]) (let ([code (send event get-key-code)]) (or (eq? code 'shift) + (eq? code 'rshift) (eq? code 'control) + (eq? code 'rcontrol) (eq? code 'release) (let ([score (get-best-score code