Re: [racket-dev] UI questions for building a multi-file coverage tool

2011-04-26 Thread Robby Findler
On Tue, Apr 26, 2011 at 4:16 PM, John Clements wrote: > Jonathan Walsh is building a multi-file coverage tool, and has a couple of > (simple?) UI questions. > > 1) Is there a way (as a tool, natch) to tell DrRacket to bring a particular > tab to the front / give it focus? Is handler:edit-file w

[racket-dev] UI questions for building a multi-file coverage tool

2011-04-26 Thread John Clements
Jonathan Walsh is building a multi-file coverage tool, and has a couple of (simple?) UI questions. 1) Is there a way (as a tool, natch) to tell DrRacket to bring a particular tab to the front / give it focus? 2) In a list box, is it possible to style text? For instance, we want to show a list o