From 3aad886019653bbabefe07b04385d9fd153bcaef Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 9 Dec 2010 17:43:37 -0700 Subject: [PATCH] win32: fix key-release events --- collects/mred/private/wx/win32/key.rkt | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/collects/mred/private/wx/win32/key.rkt b/collects/mred/private/wx/win32/key.rkt index 4bb966473a..4ad9446f91 100644 --- a/collects/mred/private/wx/win32/key.rkt +++ b/collects/mred/private/wx/win32/key.rkt @@ -215,12 +215,13 @@ (if just-check? #t (let* ([id (if (number? id) (integer->char id) id)] + [key-id (if (equal? id #\033) + 'escape + id)] [e (new key-event% [key-code (if is-up? 'release - (if (equal? id #\033) - 'escape - id))] + key-id)] [shift-down shift-down?] [control-down control-down?] [meta-down #f] @@ -229,5 +230,7 @@ [y 0] [time-stamp 0] [caps-down caps-down?])]) + (when is-up? + (send e set-key-release-code key-id)) e))))))