Re: [squeak-dev] Broken user interrupt