Skip to content

Commit

Permalink
Add Debug button to #lang htdp/asl.
Browse files Browse the repository at this point in the history
Fixes #177.
  • Loading branch information
mikesperber authored and shhyou committed Dec 7, 2024
1 parent aef9ae1 commit c29a0b0
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 4 deletions.
3 changes: 2 additions & 1 deletion htdp-lib/htdp/asl/lang/reader.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,5 @@ lang/htdp-advanced
'(abbreviate-cons-as-list
read-accept-quasiquote
show-sharing
disable-stepper)
disable-stepper
enable-debugger)
10 changes: 7 additions & 3 deletions htdp-lib/htdp/bsl/reader.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -26,15 +26,19 @@
(define ((make-info options) key default use-default)
(case key
[(drscheme:toolbar-buttons)
;; if you want to add more buttons, the strategy used here might not
;; be the right one to use. If you can simply enable existing buttons,
;; do that instead.
(append (if (memq 'disable-stepper options)
'()
(list ((dynamic-require 'lang/private/sl-stepper-button 'sl-stepper-drracket-button) options)))
(list (dynamic-require 'drracket/syncheck-drracket-button 'syncheck-drracket-button)))]

[(drscheme:opt-out-toolbar-buttons)
;; opt-out of all of the extra buttons b/c
;; we don't want anything to confuse in the teaching languages.
#f]
(append (if (memq 'enable-debugger options)
'()
'(debug-tool))
'(macro-stepper drracket:syncheck))]

[(drracket:show-big-defs/ints-labels) #t]

Expand Down

0 comments on commit c29a0b0

Please sign in to comment.