From f4049e8c63ade315ab44e071ddd69e7a807b45a9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 1 Dec 2009 15:05:49 +0000 Subject: [PATCH] user-defined keybindings now override menu items svn: r17135 --- collects/drscheme/private/frame.ss | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/collects/drscheme/private/frame.ss b/collects/drscheme/private/frame.ss index c1569033b5..26a5b13b37 100644 --- a/collects/drscheme/private/frame.ss +++ b/collects/drscheme/private/frame.ss @@ -27,6 +27,13 @@ (define basics-mixin (mixin (frame:standard-menus<%>) (basics<%>) + + (define/override (on-subwindow-char receiver event) + (let ([user-key? (send (keymap:get-user) handle-key-event receiver event)]) + ;; (printf "user-key? ~s\n" user-key?) returns #t for key release events -- is this a problem? (we'll find out!) + (or user-key? + (super on-subwindow-char receiver event)))) + (inherit get-edit-target-window get-edit-target-object get-menu-bar) (define/private (get-menu-bindings) (let ([name-ht (make-hasheq)])