disabled tracing in the teaching languages
svn: r10152
This commit is contained in:
parent
ff9ed5c64b
commit
31df920bd7
|
@ -278,6 +278,7 @@
|
|||
(string-constant use-pretty-printer-label)
|
||||
output-panel
|
||||
void)]
|
||||
#;
|
||||
[tracing (new check-box%
|
||||
(parent output-panel)
|
||||
(label sc-tracing)
|
||||
|
@ -316,7 +317,7 @@
|
|||
(and allow-sharing-config? (send show-sharing get-value))
|
||||
(send insert-newlines get-value)
|
||||
'none
|
||||
(send tracing get-value)
|
||||
#f ;; (send tracing get-value) -- disabled tracing
|
||||
tps)]
|
||||
[(settings)
|
||||
(send case-sensitive set-value (drscheme:language:simple-settings-case-sensitive settings))
|
||||
|
@ -351,7 +352,9 @@
|
|||
[parent tp-panel]
|
||||
[label (format "~s" tp)]))
|
||||
tps))
|
||||
(send tracing set-value (htdp-lang-settings-tracing? settings))])))
|
||||
;; disabled tracing
|
||||
#; (send tracing set-value (htdp-lang-settings-tracing? settings))
|
||||
(void)])))
|
||||
|
||||
(define simple-htdp-language%
|
||||
(class* drscheme:language:simple-module-based-language% (htdp-language<%>)
|
||||
|
|
Loading…
Reference in New Issue
Block a user