>
> On Apr 22, 2016 2:35 AM, "Johan Fabry" 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 unders
Argh.
It is a very cool feature.
Are we going to have to spot around ?
No, please, no...
Phil
On Apr 22, 2016 2:35 AM, "Johan Fabry" 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
bre
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).
> On Apr 21, 2016, at 18:52, Peter Uhnák wrote:
>
> The editor used to inform when th
