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