Feb. 25, 2012
2:44 p.m.
On Feb 24, 2012, at 7:46 PM, Usman Bhatti wrote:
After exiting from emergency evaluator in pharo, pharo desktop/home is not repainted/refreshed. Is it an issue or a feature?
I think when the evaluator pops up people just don't care about details like that anymore. (I mean, something *horrible* whent wrong and everyone is happy to just ne able to rescue the image... refresh then is just not on your mind). Marcus -- Marcus Denker -- http://marcusdenker.de