![]() - improved the drawing speed in mrlib's graph pasteboard by caching the background arrows (optionally; only turned on for the module browser. in redex, this probably won't speed anything up so it isn't used) - added a search feature to the module graph to help find dependencies; type in string and some of the graph changes color |
||
---|---|---|
.. | ||
aligned-pasteboard | ||
graph | ||
hierlist | ||
bitmap-label.scrbl | ||
cache-image-snip.scrbl | ||
close-icon.scrbl | ||
common.rkt | ||
gif.scrbl | ||
image-core.scrbl | ||
include-bitmap.scrbl | ||
info.rkt | ||
interactive-value-port.scrbl | ||
matrix-snip.scrbl | ||
mrlib.scrbl | ||
name-message.scrbl | ||
path-dialog.scrbl | ||
plot.scrbl | ||
switchable-button.scrbl | ||
tex-table.scrbl |