Re: [Pharo-project] Issue 709 in pharo: Debugger highlight bug