From 21050c24542a905daa6a29ffa04ebae58ff64228 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 --- 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 96a8dd41cc..76e976cbcf 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)