remove now useless private field
original commit: 21050c24542a905daa6a29ffa04ebae58ff64228
This commit is contained in:
parent
1f39495448
commit
a58b1541a8
|
@ -784,8 +784,7 @@
|
||||||
;; list contains the regions that have
|
;; list contains the regions that have
|
||||||
;; been changed by the paste
|
;; been changed by the paste
|
||||||
(define paste-info #f)
|
(define paste-info #f)
|
||||||
(define rewriting? #f)
|
|
||||||
|
|
||||||
(define/public (ask-normalize?)
|
(define/public (ask-normalize?)
|
||||||
(cond
|
(cond
|
||||||
[(preferences:get 'framework:ask-about-paste-normalization)
|
[(preferences:get 'framework:ask-about-paste-normalization)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user