IMO, example 2 can be remedied inside redex (by pausing briefly before
actually triggering the updates), but the first one is probably
because of a more complex interaction of gui callbacks and probably
trickier to track down.
Robby
On Thu, Aug 12, 2010 at 6:12 PM, Everett wrote:
> Observation o
Observation of DrRacket and PLT Redex leads me to believe that when
updating something displayed in the GUI each change is immediately
reflected (in a nice functional manner), even if a batch of changes is
being performed, thus wasting time drawing the GUI on intermediate
results. The effect is a
2 matches
Mail list logo
