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
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