April 22, 2016
12:33 a.m.
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 <i.uhnak@gmail.com> wrote:
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
---> Save our in-boxes! http://emailcharter.org <--- Johan Fabry - http://pleiad.cl/~jfabry PLEIAD and RyCh labs - Computer Science Department (DCC) - University of Chile