From 02d85d78ab7ec36580d56a94eb8f4eef4e659822 Mon Sep 17 00:00:00 2001 From: Neil Toronto Date: Fri, 29 Aug 2014 16:37:47 -0400 Subject: [PATCH] Altered `keymap%` to not claim to handle key events that it doesn't Previously, `keymap%` would return #t for all shift, ctrl, and key release events. DrRacket's editors would then not handle those events (correctly, as they shouldn't handle already-handled events), meaning that the events weren't sent to any snips. original commit: 8ba8d01ec07d45ec67bd06df0670c7498fa20bb9 --- pkgs/gui-pkgs/gui-lib/mred/private/wxme/keymap.rkt | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/mred/private/wxme/keymap.rkt b/pkgs/gui-pkgs/gui-lib/mred/private/wxme/keymap.rkt index 462a29aa..426f23b9 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/private/wxme/keymap.rkt +++ b/pkgs/gui-pkgs/gui-lib/mred/private/wxme/keymap.rkt @@ -457,11 +457,12 @@ (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) + (if (or (eq? code 'shift) + (eq? code 'rshift) + (eq? code 'control) + (eq? code 'rcontrol) + (eq? code 'release)) + prefixed? (let ([score (get-best-score code (send event get-other-shift-key-code)