![]() the purpose of drawing arrows. The computation to fill in the cache seems to actually be pretty quick and the work to clear the cache when it is out of date (via a call to on-change) can be substantial on big files, so just not maintaining the cache seems better. (there are 7254 arrows in drracket/private/unit.rkt, stored in an interval map, and iterating over the interval-map in a for loop seems to be time consuming) Also, DrRacket could get into a state where switching tabs would trigger a call to on-change, which means that switching tabs would take a few seconds. |
||
---|---|---|
.. | ||
annotate.rkt | ||
colors.rkt | ||
contract-traversal.rkt | ||
gui.rkt | ||
intf.rkt | ||
local-member-names.rkt | ||
online-comp.rkt | ||
traversals.rkt | ||
xref.rkt |