From ea15fcaf7f6ec436120c847e3c9f8f822eaf1a91 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 14 Oct 2006 17:07:18 +0000 Subject: [PATCH] fixed PR 8325 svn: r4602 --- collects/drscheme/private/frame.ss | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/collects/drscheme/private/frame.ss b/collects/drscheme/private/frame.ss index 9e38e1225e..511c75a17b 100644 --- a/collects/drscheme/private/frame.ss +++ b/collects/drscheme/private/frame.ss @@ -201,16 +201,16 @@ this last-keybindings-planet-attempt)]) (when planet-spec - (set! last-keybindings-planet-attempt planet-spec)) - (cond - [(planet-string-spec? planet-spec) - => - (λ (planet-sexp-spec) - (add-keybindings-item/update-prefs planet-sexp-spec))] - [else - (message-box (string-constant drscheme) - (format (string-constant keybindings-planet-malformed-spec) - planet-spec))]))))) + (set! last-keybindings-planet-attempt planet-spec) + (cond + [(planet-string-spec? planet-spec) + => + (λ (planet-sexp-spec) + (add-keybindings-item/update-prefs planet-sexp-spec))] + [else + (message-box (string-constant drscheme) + (format (string-constant keybindings-planet-malformed-spec) + planet-spec))])))))) (let ([ud (preferences:get 'drscheme:user-defined-keybindings)]) (unless (null? ud) (new separator-menu-item% (parent keybindings-menu))