June 19, 2019
5:44 p.m.
Ok, good to know. Looking fot pharo-local from Spotter does not produce meaningful results within DrGeo (P7 based), screenshot attached. The folder DrGeo/Contents/Resources/pharo-local/play-cache exists though Thanks. Le 19/06/2019 à 15:38, Peter Uhnak a écrit :
this is a known problem. I've been losing code to Playground for years. (e.g. using undo (ctrl+z) is a good way to lose code)
-- Dr. Geo http://drgeo.eu
