After exiting from emergency evaluator in pharo, pharo desktop/home is not repainted/refreshed. Is it an issue or a feature?<div><br></div><div><img src="cid:ii_135b0ada518fbe80" alt="Inline image 2"><br></div>