Re: [Pharo-users] Autoupdate of playground contents up to the last keystroke