Robby Findler d2d1ac2f2c Improve the logger GUI in DrRacket ... One drawback to the current situation (after this commit) is that all log messages are sent into the user's logger, even messages that come about as part of DrRacket's implementation. It isn't clear how to fix this without enumerating all of the possible messages to share and explicitly forwarding them (both of which are suboptimal things). On the plus side, the GUI now uses the "debug@GC" notation in a text field, and when the logger pane is not open, there is no extra work going on. Plus other, minor GUI improvements.		2012-12-26 22:38:42 -06:00
..
HISTORY.txt	Improve the logger GUI in DrRacket	2012-12-26 22:38:42 -06:00