Ok, thanks for the tip. Hilaire Le 16/09/2018 à 00:02, Juraj Kubelka via Pharo-users a écrit :

We are aware of this issue. Current workaround is to save and then quit without saving.

-- Dr. Geo http://drgeo.eu