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



Reply via email to