Re: [Pharo-dev] Debugger highlight bug