From 404a2bd547eb0dcfea6c7ed5fc7a3dbd860545ef Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 31 Oct 2008 00:59:40 +0000 Subject: [PATCH] svn: r12187 original commit: 26df9acc1596979a9abc47fbd45546cac961ddfb --- collects/framework/private/preferences.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/framework/private/preferences.ss b/collects/framework/private/preferences.ss index 551fda4b..55967d03 100644 --- a/collects/framework/private/preferences.ss +++ b/collects/framework/private/preferences.ss @@ -465,7 +465,10 @@ the state transitions / contracts are: 'framework:verify-exit (string-constant verify-exit) values values) - + (make-check warnings-panel + 'framework:ask-about-paste-normalization + (string-constant ask-about-normalizing-strings) + values values) (warnings-panel-procs warnings-panel))))]) (add-warnings-checkbox-panel)))