[racket-dev] [plt] Push #24974: master branch updated

At Wed, 11 Jul 2012 18:00:26 -0500,
Robby Findler wrote:
> 
> On Wed, Jul 11, 2012 at 1:06 PM, Neil Toronto <neil.toronto at gmail.com> wrote:
> > How about a tools drop-down?
> 
> > Or Online Optimization Coach???? (You can do
> > it, Vincent!)
> 
> I had that same thought, actually: online check syntax is actually
> factored into two parts. DrRacket provides an online expansion service
> and plugins you can register two handlers, one to run in the place
> where the expansion happened that is expected to produce a value to
> send back to the main place where the other handler gets it and can
> update the GUI.
> 
> Probably Vincent has fairly little work to break that up; I'd guess
> the more substantial question will be how to reflect the information
> into the GUI in a way that doesn't fight with the check syntax
> information.

Making the two tools combine nicely would take some thought.

Currently, Optimization Coach is probably too slow to be used online,
but I'm planning to work on that. Probably not before the release,
though.

Vincent