Re: [etoys-dev] How can I specify the font and size for a Text Object?