Go to file
Robby Findler 1a2755c1f8 Two improvements to the mrlib/graph library and the module browser:
- 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

original commit: e928bd840c02ac68e6fbf7ed7c72b69e74d2fd1a
2011-04-06 11:35:31 -05:00
collects Two improvements to the mrlib/graph library and the module browser: 2011-04-06 11:35:31 -05:00
doc/release-notes clean up drawing with 0-width pens (hairline mode) 2011-03-27 14:21:21 -06:00
man/man1 minor man-page corrections 2011-02-01 08:01:17 -07:00