Closed mikesperber closed 3 years ago
I think that it needs to be something more like "replace #f
with '()
and then do an append". That is, if drr is #f
and drs is a list of useful things, we want the list of useful things.
Oh actually, I think we want to choose either drr or drs (preferring the drr ones).
Oh actually, I think we want to choose either drr or drs (preferring the drr ones).
The "old" code in, say, htdp/bsl/reader.rkt
, knows only the drscheme:
prefix and expects drscheme:opt-out-toolbar-buttons
-> #f
to remove the extra buttons. If this isn't expected to work, drscheme:opt-out-toolbar-buttons
should be removed entirely.
Oh, I see. Righto!
Either of drscheme:opt-out-toolbar-buttons / drracket:opt-out-toolbar-buttons can be used to turn off the opt-out buttons. The way it was implemented, you needed both. Unbreak.