A particular sequence of actions will leave DrRacket in a state where it does not update the buttons (specifically, showing the stepper button but maybe all button updates).
1) Start DrRacket. Make sure language level is set to cmd-R, "Use the language declared...". enter #lang racket in the buffer.
2) Open a new window (thereby inheriting language level settings and #lang level.
3) Delete all text in the definitions window (this appears to be important).
4) Change language level to (e.g.) Beginning Student. (See stepper button appear.)
5) Change language level back to cmd-R, "Use the language...".
6) In the definitions window, type #lang htdp/bsl. Note that stepper button does not appear.
A particular sequence of actions will leave DrRacket in a state where it does not update the buttons (specifically, showing the stepper button but maybe all button updates).
1) Start DrRacket. Make sure language level is set to cmd-R, "Use the language declared...". enter
#lang racketin the buffer. 2) Open a new window (thereby inheriting language level settings and#langlevel. 3) Delete all text in the definitions window (this appears to be important). 4) Change language level to (e.g.) Beginning Student. (See stepper button appear.) 5) Change language level back to cmd-R, "Use the language...". 6) In the definitions window, type#lang htdp/bsl. Note that stepper button does not appear.