![]() This could be done to many other dialogs, but it seems especially worthwhile for `message-box'. Closes PR 11601. |
||
---|---|---|
.. | ||
draw | ||
drracket | ||
foreign | ||
framework | ||
gui | ||
guide | ||
honu | ||
htdp-langs | ||
inside | ||
main | ||
more | ||
quick | ||
raco | ||
reference | ||
scheme | ||
scribble | ||
slideshow | ||
tools | ||
finger.png | ||
icons.rkt | ||
info.rkt | ||
magnify.png |