diff --git a/collects/framework/gen-standard-menus.ss b/collects/framework/gen-standard-menus.ss index 9f634511..f635f811 100755 --- a/collects/framework/gen-standard-menus.ss +++ b/collects/framework/gen-standard-menus.ss @@ -142,6 +142,14 @@ string=? ; exec mred -mgaqvf $0 (pretty-print `(define standard-menus-mixin (mixin (basic<%>) (standard-menus<%>) args + (inherit on-menu-char on-traverse-char) + (override + [on-subwindow-char + (lambda (receiver event) + (if (preferences:get 'framework:menu-bindings) + (on-traverse-char event) + (or (on-menu-char event) (on-traverse-char event))))]) + (inherit get-menu-bar can-close? on-close show get-edit-target-object) (sequence (apply super-init args)) ,@(append