> On 30 Jun 2015, at 19:21, stepharo <[email protected]> wrote: > > Hi guys > > does any of you use the AST code navigation? > Because we could remove it.
I think we never enabled it because we could not use good key combinations… the
idea
was to use ctrl-arrow keys for it…
I still think that AST based navigation is a very good idea, removing it now
without having
ever used it for real is not good.
Marcus
