macro-stepper: switched to racket in hiding policy, labels
original commit: 9b03e384098a2d21c84f0a230c586cfa624920dd
This commit is contained in:
parent
05391541ad
commit
feeb478dde
|
@ -48,21 +48,21 @@
|
|||
(lambda (id) 'show)]
|
||||
['standard
|
||||
(policy->function '(custom #t #t #t #t ()))]
|
||||
[(list 'custom hide-scheme? hide-libs? hide-contracts? hide-phase1? entries)
|
||||
[(list 'custom hide-racket? hide-libs? hide-contracts? hide-phase1? entries)
|
||||
(entries->function entries
|
||||
(policy-base->function hide-scheme?
|
||||
(policy-base->function hide-racket?
|
||||
hide-libs?
|
||||
hide-contracts?
|
||||
hide-phase1?))]))
|
||||
|
||||
;; policy-base->function : boolean boolean boolean boolean -> (id -> choice)
|
||||
(define (policy-base->function hide-scheme? hide-libs? hide-contracts? hide-phase1?)
|
||||
(define (policy-base->function hide-racket? hide-libs? hide-contracts? hide-phase1?)
|
||||
(entries->function
|
||||
`[(hide-if
|
||||
(or ,@(filter values
|
||||
(list (and hide-scheme?
|
||||
(list (and hide-racket?
|
||||
'(or (from-kernel-module)
|
||||
(from-collection ("scheme"))))
|
||||
(from-collection ("racket"))))
|
||||
(and hide-libs?
|
||||
'(or (from-collection ())
|
||||
#;(from-planet-collection #f #f ())))
|
||||
|
|
|
@ -37,13 +37,13 @@ TODO
|
|||
[(equal? mode mode:custom) (get-custom-policy)])))
|
||||
|
||||
(define/private (get-custom-policy)
|
||||
(let ([hide-mzscheme? (send box:hide-mzscheme get-value)]
|
||||
(let ([hide-racket? (send box:hide-racket get-value)]
|
||||
[hide-libs? (send box:hide-libs get-value)]
|
||||
[hide-contracts? (send box:hide-contracts get-value)]
|
||||
[hide-transformers? (send box:hide-phase1 get-value)]
|
||||
[specialized-policies (get-specialized-policies)])
|
||||
(policy->predicate
|
||||
`(custom ,hide-mzscheme?
|
||||
`(custom ,hide-racket?
|
||||
,hide-libs?
|
||||
,hide-contracts?
|
||||
,hide-transformers?
|
||||
|
@ -129,9 +129,9 @@ TODO
|
|||
(value #t)
|
||||
(callback (lambda (c e) (update-visibility)))))
|
||||
|
||||
(define box:hide-mzscheme
|
||||
(define box:hide-racket
|
||||
(new check-box%
|
||||
(label "Hide mzscheme syntax")
|
||||
(label "Hide racket syntax")
|
||||
(parent left-pane)
|
||||
(value #t)
|
||||
(callback (lambda (c e) (refresh)))))
|
||||
|
|
Loading…
Reference in New Issue
Block a user