From a58b1541a871a4a8f3eeb3cce8d9151ab940d11f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 6 Jan 2011 10:09:09 -0600 Subject: [PATCH] remove now useless private field original commit: 21050c24542a905daa6a29ffa04ebae58ff64228 --- collects/framework/private/text.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/framework/private/text.rkt b/collects/framework/private/text.rkt index 96a8dd41..76e976cb 100644 --- a/collects/framework/private/text.rkt +++ b/collects/framework/private/text.rkt @@ -784,8 +784,7 @@ ;; list contains the regions that have ;; been changed by the paste (define paste-info #f) - (define rewriting? #f) - + (define/public (ask-normalize?) (cond [(preferences:get 'framework:ask-about-paste-normalization)