Re: [etoys-dev] popups in project-info