Re: [etoys-dev] Handling keyboard events