removed qq output option from beginner

svn: r3788
This commit is contained in:
Robby Findler 2006-07-24 12:20:57 +00:00
parent 4c1758866c
commit 6f548cc73e

View File

@ -124,7 +124,7 @@ tracing todo:
(inherit get-allow-sharing? get-use-function-output-syntax? (inherit get-allow-sharing? get-use-function-output-syntax?
get-accept-quasiquote? get-read-accept-dot) get-accept-quasiquote? get-read-accept-dot)
(define/override (config-panel parent) (define/override (config-panel parent)
(sharing/not-config-panel (get-allow-sharing?) parent)) (sharing/not-config-panel (get-allow-sharing?) (get-accept-quasiquote?) parent))
(define/override (on-execute settings run-in-user-thread) (define/override (on-execute settings run-in-user-thread)
(let ([drs-namespace (current-namespace)] (let ([drs-namespace (current-namespace)]
@ -180,9 +180,9 @@ tracing todo:
(super-instantiate ()))) (super-instantiate ())))
;; sharing/not-config-panel : boolean parent -> (case-> (-> settings) (settings -> void)) ;; sharing/not-config-panel : boolean boolean parent -> (case-> (-> settings) (settings -> void))
;; constructs the config-panel for a language without a sharing option. ;; constructs the config-panel for a language without a sharing option.
(define (sharing/not-config-panel allow-sharing-config? _parent) (define (sharing/not-config-panel allow-sharing-config? accept-quasiquote? _parent)
(let* ([parent (make-object vertical-panel% _parent)] (let* ([parent (make-object vertical-panel% _parent)]
[input-panel (instantiate group-box-panel% () [input-panel (instantiate group-box-panel% ()
@ -201,9 +201,12 @@ tracing todo:
void)] void)]
[output-style (make-object radio-box% [output-style (make-object radio-box%
(string-constant output-style-label) (string-constant output-style-label)
(list (string-constant constructor-printing-style) (if accept-quasiquote?
(string-constant quasiquote-printing-style) (list (string-constant constructor-printing-style)
(string-constant write-printing-style)) (string-constant quasiquote-printing-style)
(string-constant write-printing-style))
(list (string-constant constructor-printing-style)
(string-constant write-printing-style)))
output-panel output-panel
void)] void)]
[fraction-style [fraction-style
@ -239,10 +242,14 @@ tracing todo:
[() [()
(make-htdp-lang-settings (make-htdp-lang-settings
(send case-sensitive get-value) (send case-sensitive get-value)
(case (send output-style get-selection) (if accept-quasiquote?
[(0) 'constructor] (case (send output-style get-selection)
[(1) 'quasiquote] [(0) 'constructor]
[(2) 'write]) [(1) 'quasiquote]
[(2) 'write])
(case (send output-style get-selection)
[(0) 'constructor]
[(1) 'write]))
(case (send fraction-style get-selection) (case (send fraction-style get-selection)
[(0) 'mixed-fraction] [(0) 'mixed-fraction]
[(1) 'repeating-decimal]) [(1) 'repeating-decimal])
@ -253,11 +260,17 @@ tracing todo:
[(settings) [(settings)
(send case-sensitive set-value (drscheme:language:simple-settings-case-sensitive settings)) (send case-sensitive set-value (drscheme:language:simple-settings-case-sensitive settings))
(send output-style set-selection (send output-style set-selection
(case (drscheme:language:simple-settings-printing-style settings) (if accept-quasiquote?
[(constructor) 0] (case (drscheme:language:simple-settings-printing-style settings)
[(quasiquote) 1] [(constructor) 0]
[(write) 2] [(quasiquote) 1]
[(print) 2])) [(write) 2]
[(print) 2])
(case (drscheme:language:simple-settings-printing-style settings)
[(constructor) 0]
[(quasiquote) 0]
[(write) 1]
[(print) 1])))
(send fraction-style set-selection (send fraction-style set-selection
(case (drscheme:language:simple-settings-fraction-style settings) (case (drscheme:language:simple-settings-fraction-style settings)
[(mixed-fraction) 0] [(mixed-fraction) 0]