From ada771440dbd9a9334d3cb4df11f025ca2ea8d3c Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 21 Jul 1999 18:02:18 +0000 Subject: [PATCH] ... original commit: e09065bb9b93c5c78f6f86447c963cff79817f2f --- collects/framework/gen-standard-menus.ss | 8 ++++++++ 1 file changed, 8 insertions(+) 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