On Apr 22, 2014, at 6:08 PM, Sam Tobin-Hochstadt wrote: > On Tue, Apr 22, 2014 at 5:50 PM, Matthias Felleisen > <matth...@ccs.neu.edu> wrote: >> >> On Apr 22, 2014, at 5:42 PM, Daniel Prager <daniel.a.pra...@gmail.com> wrote: >> >>> Matthias: Would it make sense to have an option on (big-bang) for it not to >>> redraw if the world hasn't changed? >> >> The world library does this. NO, all the code that did this is commented >> out. The comment next to it says "Robby optimization" and I totally forgot >> why it says so. I do recall running into problems with not refreshing the >> image and that not refreshing was actually not big time saver. Sorry for the >> double negative. > > You appear to have removed this optimization in this commit: > https://github.com/plt/racket/commit/be76ed2adde49ed07453b368bc254c3bce99259d > but without a reason given.
Yes. ____________________ Racket Users list: http://lists.racket-lang.org/users
