![]() - use the same font/size as the definitions/interactions window - add a checkbox to control scrolling behavior and, - when scrolling, scroll to the begining of the line, not the end |
||
---|---|---|
.. | ||
private | ||
tests | ||
info.rkt | ||
main.rkt | ||
string-constant.rkt | ||
string-constants.scrbl |