diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt index a088b16c2a..e12a69fc42 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/rep.rkt @@ -955,8 +955,7 @@ TODO (send context enable-evaluation)) (define/augment (submit-to-port? key) - (or (eq? (send key get-key-code) 'numpad-enter) - (send key get-control-down) + (or (send key get-control-down) (send key get-alt-down) (and prompt-position (let ([lang (drracket:language-configuration:language-settings-language user-language-settings)])