Re: [etoys-dev] Issue with etoys 2257