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
The editor used to inform when there was an unused local variable and
offered to remove it.
Is it possible to get this behavior back, or is it a feature regression
with the "new" (this changed some time ago) editor?
Thanks,
Peter
