Disable macro stepper button.

It's confusing to students looking for the stepper. Thanks to Rory Nguyen for the report!
tov · Sep 18, 2020 · 1adab63 · 1adab63
1 parent 11f216a
commit 1adab63
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lang/reader.rkt b/lang/reader.rkt
@@ -21,7 +21,7 @@ dssl2/language
     [(color-lexer)
      get-syntax-token]
     [(drracket:opt-out-toolbar-buttons)
-     '(debug-tool drracket:syncheck)] ; macro-stepper?
+     '(debug-tool drracket:syncheck macro-stepper)]
     [(drracket:indentation)
      find-current-indent]
     [(drracket:keystrokes)