Can't comment on option (b), but option (a) is what I was thinking of. Isn't the "tricky UI question" already present, because a language info can set some of the very same things in the details pane? I didn't see this particular option introducing a new problem that was not already there.
One thing is it'd be nice to make these things "work" even in textual mode (for shell/Emacs users) -- things like coverage coloring presumably just get ignored in that case, as opposed to the code not running at all because of a MrEd dependency. shriram _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev