Re: [etoys-dev] Test for DrGeo