![]() also improved the highlighting in the margin by invalidating only the region of the editor that actually needs redrawing |
||
---|---|---|
.. | ||
private | ||
tests | ||
info.rkt | ||
main.rkt | ||
string-constant.rkt | ||
string-constants.scrbl |
![]() also improved the highlighting in the margin by invalidating only the region of the editor that actually needs redrawing |
||
---|---|---|
.. | ||
private | ||
tests | ||
info.rkt | ||
main.rkt | ||
string-constant.rkt | ||
string-constants.scrbl |