'rshift and 'rcontrol don't interrupt keybindings

Closes PR 12461
2011-12-25 19:39:25 -06:00 · 2011-12-25 19:39:25 -06:00 · e12bf33f8d
commit e12bf33f8d
parent 1c63784517
1 changed files with 2 additions and 0 deletions
--- 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