Re: [etoys-dev] How can I set the tick rate of a script from a script?