From c9b7c98525e8f4e1a42e69f8c5f8cbd545f9288b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 8 Nov 2010 20:43:28 -0700 Subject: [PATCH] cocoa: use alternate key if ctl-combination has no mapping --- fixes ctl-space, and maybe other combinations Closes PR 11403 --- collects/mred/private/wx/cocoa/window.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/wx/cocoa/window.rkt b/collects/mred/private/wx/cocoa/window.rkt index ef9bebe3f1..03a199b007 100644 --- a/collects/mred/private/wx/cocoa/window.rkt +++ b/collects/mred/private/wx/cocoa/window.rkt @@ -269,8 +269,10 @@ (let ([alt-code (string-ref alt-str 0)]) (unless (equal? alt-code (send k get-key-code)) (send k set-other-altgr-key-code alt-code))))) - (when (and option? - special-option-key? + (when (and (or (and option? + special-option-key?) + (and control? + (equal? (send k get-key-code) #\u00))) (send k get-other-altgr-key-code)) ;; swap altenate with main (let ([other (send k get-other-altgr-key-code)])