[Pharo-users] How to save a playground content in a local file ?

Hello, To save the content of my playground (in my local hard disk) my procedure is really ~rustic~ { selection , copy , paste }. Is there an adhoc menu dedicated to this backup-action ? Nota Bene : I am working with Pharo 8.0.0 -- Thanks for your help. Rene Paul Mages ( GnuPG_key 0x9840A6F7 ) http://www.pharo.fr http://www.linux-azur.org/ramix http://twitter.com/RenePaulMages