diff --git a/collects/mred/keys.ss b/collects/mred/keys.ss index 1d7b5255..3b9f5aac 100644 --- a/collects/mred/keys.ss +++ b/collects/mred/keys.ss @@ -680,6 +680,12 @@ ; Map names to keyboard functions (add "rcs" rcs) + (add "exit" (lambda (edit event) + (let ([frame (send edit get-frame)]) + (if frame + ((ivar frame file-menu:quit)) + (wx:bell))))) + (add "ring-bell" ring-bell) (add "save-file" save-file) @@ -713,8 +719,6 @@ (make-make-repeater n)) (loop (sub1 n))))) - (add "exit" (lambda args (mred:exit:exit))) - (add "do-saved-macro" do-macro) (add "start-macro-record" start-macro) (add "end-macro-record" end-macro)