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. Sam ____________________ Racket Users list: http://lists.racket-lang.org/users
