> On 30 Jun 2015, at 19:21, stepharo <
[hidden email]> 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