April 22, 2016
7:29 a.m.
On Apr 22, 2016 2:35 AM, "Johan Fabry" <jfabry@dcc.uchile.cl> wrote:
This was changed somewhere in November by Marcus and Miguel, and it was
intentional, as part of the work on annotations on the AST that enabled breakpoints. (Breakpoints use the same highlighting mechanism).
I'm not sure I understand your answer. Was it removed just because some people prefer highlighting, or for some other issue? I don't see how it relates to AST, does it somehow conflict with the behavior? Peter